Julien Narboux
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 137960
Dissertation: Formalisation et automatisation du raisonnement géométrique en Coq.
Advisor 1
- Hugo HerbelinInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Pierre Boutry | Université de Strasbourg | 2018 | 0 |