Meven Lennon-Bertrand

146
reputation
5

Post-doc in computer science, in the great world of proof assistants.