560
reputation
2
1

Julien Narboux

Lecturer at University of Strasbourg working on formalization and automation in geometry.