/Cedille-Core

A minimal proof language.

Primary LanguageJavaScriptMIT LicenseMIT

Stargazers