Proving theorems in propositional calculus using the Sylph theorem prover(allisterb.github.io)
allisterb.github.io
Proving theorems in propositional calculus using the Sylph theorem prover
https://allisterb.github.io/PropCalculus.html
0 comments
—
https://allisterb.github.io/PropCalculus.html
—