Louise Dubois de Prisque

According to our database, Louise Dubois de Prisque authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Prétraitement compositionnel en Coq. (Compositional preprocessing in Coq).

Louise Dubois de Prisque

PhD thesis, 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

2021

General Automation in Coq through Modular Transformations.

Valentin Blot, Louise Dubois de Prisque, Chantal Keller, Pierre Vial

Proceedings of the Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, 2021