Hacker News new | ask | show | jobs
Proving theorems in propositional calculus using the Sylph theorem prover (allisterb.github.io)
1 points by allisterb 2235 days ago