Researcher, proof assistants and dependent types
-
INRIA Saclay
- Saclay
- https://theowinterhalter.github.io/
- https://orcid.org/0000-0002-9881-3696
- @winterhalter_t
Highlights
- Pro
Search results
0 open and 0 closed projects found.-
There aren't any projects yet