Julien Narboux

148
reputation
7

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