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