Jape, a configurable proof editor (best at natural deduction and sequent calculus)
Primary LanguageOCamlGNU General Public License v2.0GPL-2.0