Closed SimonGuilloud closed 1 year ago
New Tautology tactic and solver for propositional logic. Simpler and much more effective than the previous sequent calculus based solver.
Ran tests locally: Everything except broken SimpleProverTests works.
SimpleProverTests
New Tautology tactic and solver for propositional logic. Simpler and much more effective than the previous sequent calculus based solver.