There are 1 repository under sequent-calculus topic.
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
A web-based graphical proof assistant for LK and Hoare logic.
Code for the "Logic, machines and sequent calculus" talk
Pravda is a tool for teaching formal logic.
boolean expression manipulator for educational purposes
Master Thesis Project at LARA (EPFL)
형식언어 ℒ에서 Gentzen의 추론 규칙에 따른 논증 타당성 검증기
Intuitionistic and classical propositional logic library
Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.
Equivalence of natural deduction and sequent calculus in HOL4
∇⎕ coloring
Implementation of Gentzen's Sequent Calculus (LK) applied to creating and interrogating a database in natural language