an automated theorem prover for minimal propositional logic
Primary LanguageRacket
This repository is not active