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