/aya-dev

A proof assistant and a dependently-typed language

Primary LanguageJavaMIT LicenseMIT

Issues