Proving theorems in propositional calculus using the Sylph theorem prover

allisterb.github.io