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