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