Propositional sequent calculus prover Posted by setra on Tuesday September 18, 2018 @12:02PM from the nayuki.io dept. https://www.nayuki.io/page/propositional-sequent-calculus-prover ( no comments | 3 points | on HN )
There are no comments yet.