/Kind

A modern proof language

Primary LanguageJavaScriptMIT LicenseMIT

Stargazers

No one’s star this repository yet.