milesrout/sceptre

an automated theorem prover for minimal propositional logic

Racket