Meven Lennon-Bertrand
146
reputation
5
Post-doc in computer science, in the great world of proof assistants.