Louise Dubois de Prisque

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Post Processing

Automated Reasoning

Top Venues

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)
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)
Valentin Blot, Louise Dubois de Prisque, Chantal Keller, Pierre Vial
General Automation in Coq through Modular Transformations. PxTP (2021)