Cyril Cohen

Available identifiers

Publication	Date of Publication	Type
Measure construction by extension in dependent type theory with application to integration	2023-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q6157249	2023-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q5875421	2023-02-03	Paper
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis	2022-11-09	Paper
The \textsc{MetaCoq} project	2020-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q5195290	2019-09-18	Paper
Towards certified meta-programming with typed Template-Coq	2018-10-04	Paper
Cubical Type Theory: a constructive interpretation of the univalence axiom	2018-08-13	Paper
A formal proof in Coq of Lasalle's invariance principle	2018-01-04	Paper
Formalized linear algebra over Elementary Divisor Rings in Coq	2016-07-06	Paper
Refinements for Free!	2015-01-13	Paper
A Coq Formalization of Finitely Presented Modules	2014-09-08	Paper
A constructive version of Laplace's proof on the existence of complex roots	2013-10-28	Paper
A Machine-Checked Proof of the Odd Order Theorem	2013-08-07	Paper
Pragmatic Quotient Types in Coq	2013-08-07	Paper
Construction of Real Algebraic Numbers in Coq	2012-09-20	Paper
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination	2012-04-03	Paper
A Formal Quantifier Elimination for Algebraically Closed Fields	2010-08-24	Paper

This page was built for person: Cyril Cohen