G github.com Propositional logic exercises with the lean theorem prover 54 points mathematically 5 years ago 8 comments
