Not registered as user yet

Name:Denis Cousineau
Affiliation:Mitsubishi Electric R&D Centre Europe

Contributions

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

Using general profile