Hierarchy Builder - Algebraic hierarchies Made Easy in Coq with Elpi (System Description). | 0 | 0.34 | 2020 |
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis. | 0 | 0.34 | 2020 |
CUBICAL TYPE THEORY: A CONSTRUCTIVE INTERPRETATION OF THE UNIVALENCE AXIOM | 0 | 0.34 | 2015 |
A Coq Formalization of Finitely Presented Modules. | 2 | 0.41 | 2014 |
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination | 1 | 0.37 | 2012 |