/lib/sequent_calculus/

• ../
• sequents.ml