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
Earned achievements
YOLO
YOLO
Loading
Quickdraw
Quickdraw
Loading
Pair Extraordinaire
Pair Extraordinaire
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x2
Pull Shark
x2
Loading