Modular pre-processing for automated reasoning in dependent type theory. - Valentin Blot; Denis Cousineau 002; Enzo Crance; Louise Dubois de Prisque; Chantal Keller; Assia Mahboubi; Pierre Vial (CoRR, 2022)

Compositional Pre-processing for Automated Reasoning in Dependent Type Theory. - Valentin Blot; Denis Cousineau 002; Enzo Crance; Louise Dubois de Prisque; Chantal Keller; Assia Mahboubi; Pierre Vial (CPP, 2023)

Trocq: Proof Transfer for Free, With or Without Univalence. - Cyril Cohen; Enzo Crance; Assia Mahboubi (ESOP (1), 2024)

Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence. - Cyril Cohen; Enzo Crance; Assia Mahboubi (ESOP (1), 2024)