101
reputation
1

Julien Narboux

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