Specification of the Formality proof and programming language
Primary LanguageJavaScriptMIT LicenseMIT