/Kind

A modern proof language

Primary LanguageHaskellMIT LicenseMIT

Stargazers