Top 2 sequent-calculus open source projects
proof-tree-builder.github.io
A web-based graphical proof assistant for LK and Hoare logic.
WangsAlgorithm
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
1-2 of 2 sequent-calculus projects