Lemmon style proof constructor (superseded by FitchJS)
Primary LanguageJavaScriptMIT LicenseMIT
No one’s star this repository yet.