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
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.