Hacker News new | ask | show | jobs
Propositional sequent calculus prover (nayuki.io)
3 points by setra 2824 days ago