Not registered as user yet

Name:Louise Dubois de Prisque
Affiliation:LMF, Inria, Université Paris-Saclay

Contributions

CPP 2023 Compositional pre-processing for automated reasoning in dependent type theory
Show activities from other conferences

Using general profile