Login / Signup
Enzo Crance
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Preprocessing
Proof Theory
Theorem Prover
Knowledge Representation And Reasoning
Top Venues
CoRR
CPP
</>
Publications
</>
Valentin Blot
,
Denis Cousineau
,
Enzo Crance
,
Louise Dubois de Prisque
,
Chantal Keller
,
Assia Mahboubi
,
Pierre Vial
Compositional Pre-processing for Automated Reasoning in Dependent Type Theory.
CPP
(2023)
Cyril Cohen
,
Enzo Crance
,
Assia Mahboubi
Trocq: Proof Transfer for Free, With or Without Univalence.
CoRR
(2023)
Valentin Blot
,
Denis Cousineau
,
Enzo Crance
,
Louise Dubois de Prisque
,
Chantal Keller
,
Assia Mahboubi
,
Pierre Vial
Modular pre-processing for automated reasoning in dependent type theory.
CoRR
(2022)