Design, play with, and analyze sequent calculus proof systems.
Primary LanguageStandard MLGNU General Public License v3.0GPL-3.0