Proving theorems in propositional calculus using the Sylph theorem proverhttps://allisterb.github.io/PropCalculus.html by allisterb • 6 years ago 1 0 6 years agoALallisterb.github.io