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