Propositional logic exercises with the lean theorem provergithub.com/ImperialCollegeLondon54 pointsmathematically5 years ago