Proving theorems in propositional calculus using the Sylph theorem proverallisterb.github.io1 point·allisterb··0 commentsOpen articleSaveView on HN