Enzo Crance

According to our database, Enzo Crance authored at least 5 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence.

Cyril Cohen, Enzo Crance, Assia Mahboubi

ACM Trans. Program. Lang. Syst., September, 2025

2024

Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence.

Cyril Cohen, Enzo Crance, Assia Mahboubi

Proceedings of the Programming Languages and Systems, 2024

Trocq: Proof Transfer for Free, With or Without Univalence.

Cyril Cohen, Enzo Crance, Assia Mahboubi

Proceedings of the Programming Languages and Systems, 2024

2023

Compositional Pre-processing for Automated Reasoning in Dependent Type Theory.

Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Modular pre-processing for automated reasoning in dependent type theory.

Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial

CoRR, 2022