/Formality

An efficient proof language

Primary LanguageTypeScriptMIT LicenseMIT

Watchers