7 ms·Proving theorems in propositional calculus using the Sylph theorem prover1 points by allisterb 6y ago