Meven Lennon-Bertrand
1,251
reputation
2
9
Post-doc in computer science, in the great world of proof assistants.