/Kind1

A modern proof language

Primary LanguageJavaScriptMIT LicenseMIT

Stargazers