/ar

Simple proof assistant for natural deduction

Primary LanguageTypeScriptMIT LicenseMIT