Lemmon style proof constructor (superseded by FitchJS)
Primary LanguageJavaScriptMIT LicenseMIT
No issues in this repository yet.