Nicolas Tabareau is a senior researcher at Inria, leading the Gallinette team in Nantes, working on type theory and the development of the Rocq Prover.
-
Inria
- France
- http://tabareau.fr
Search results
0 open and 0 closed projects found.-
There aren't any projects yet