Julien Narboux
1,000
reputation
Lecturer at University of Strasbourg working on formalization and automation in geometry.