​
Login / Signup
Enzo Crance
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Automated Reasoning
Theorem Prover
Inter Annotator Agreement
Propositional Satisfiability
Top Venues
CoRR
ESOP (1)
CPP
</>
Publications
</>
Cyril Cohen
,
Enzo Crance
,
Assia Mahboubi
Trocq: Proof Transfer for Free, With or Without Univalence.
ESOP (1)
(2024)
Cyril Cohen
,
Enzo Crance
,
Assia Mahboubi
Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence.
ESOP (1)
(2024)
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)