t
tabareau
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.
11 repositories
28 followers
France
Repositories
Select a repository to view its commits, contributors, and more.public
Cocasse
A library for Gradual Certified Programming in Coq
Coq
9
2
0
Updated a year ago
public
AJoCaml
Implementation of the aspect join calculus based on JoCaml
OCaml
1
0
0
Updated 8 years ago
public
lmfi_hott
Course on HoTT at LMFI Master
Coq
1
0
0
Updated 6 years ago
public
omega_categories
Formalisation of strict omega categories and the homotopy hypothesis in type theory, using coinduction
Coq
0
1
0
Updated 10 years ago
public
sheafification
TeX
0
0
0
Updated 8 years ago