, INRIA, France
-
Journal of Formalized Reasoning Vol. 6 No. 1 (2013) - Articles
A Formal Proof of Square Root and Division Elimination in Embedded Programs
Abstract PDF -
Journal of Formalized Reasoning Vol. 9 No. 2 (2016) - Articles
Lawvere-Tierney sheafification in Homotopy Type Theory
Abstract PDF -
Journal of Formalized Reasoning Vol. 11 No. 1 (2018) - Articles
Formalization Techniques for Asymptotic Reasoning in Classical Analysis
Abstract PDF