Compiler for the Calculus of Inductive Constructions
Primary LanguageRust
No issues in this repository yet.