An in-browser interactive theorem prover for the sequent calculus
Primary LanguageTypeScriptBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause