sequent-calculus topic

Proof search for intuitionistic propositional logic using Dyckhoff's LJT.

ayberkt

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

joom

A web-based graphical proof assistant for LK and Hoare logic.

proof-tree-builder

Code for the "Logic, machines and sequent calculus" talk

clayrat

Experiments with sequent calculi

clayrat