Registered user since Mon 12 Dec 2022

Name:Valentin Blot
Affiliation:LMF, Inria, Université Paris-Saclay

Contributions

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

POPL 2023-profile
View general profile