/ECC

Various woefully incomplete mechanizations of Luo's Extended Calculus of Constructions.

Primary LanguageIdris

No issues in this repository yet.