an automated theorem prover for minimal propositional logic
Primary LanguageRacket
No one’s star this repository yet.