projects

Sequent Calculus Calculator

A user friendly sequent calculus interpreter.

A user friendly Sequent calculus interpreter, which can be used to teach Sequent calculus right from the beginning.

The Sequent Calculus Calculator is available publicly under seqcalc.io