Proving theorems in propositional calculus using the Sylph theorem prover Posted by allisterb on Sunday May 03, 2020 @04:17PM from the allisterb.github.io dept. https://allisterb.github.io/PropCalculus.html ( no comments | on HN )
There are no comments yet.