Proving theorems in propositional calculus using the Sylph theorem prover (allisterb.github.io) 1 points by allisterb 6y ago ↗ HN
0 comments
[ 3.0 ms ] story [ 11.4 ms ] threadNo comments yet.