Implementation of the sequent calculus LSJ for Intuitionistic propositional Logic described in FerFioFio:2013 (DOI).

• [FerFioFio:2013] M. Ferrari, C. Fiorentini, and G. Fiorino. Contraction-free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models. Journal of Automated Reasoning, 2013. DOI