/LemmoNaDe

Lemmon style proof constructor (superseded by FitchJS)

Primary LanguageJavaScriptMIT LicenseMIT

Stargazers