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