660
reputation
3
1

Julien Narboux

Lecturer at University of Strasbourg working on formalization and automation in geometry.