We’re rewarding the question askers & reputations are being recalculated! Read more.
171
reputation
1

Julien Narboux

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