Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand
  • Member for 2 years
  • Last seen this week
Stats
4,493
reputation
23k
reached
85
answers
4
questions
Loading…
About

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

This user doesn’t have any gold badges yet.
8
silver badges
25
bronze badges
119
Score
42
Posts
47
Posts %
44
Score
10
Posts
11
Posts %
27
Score
8
Posts
9
Posts %
26
Score
8
Posts
9
Posts %
19
Score
4
Posts
4
Posts %
18
Score
6
Posts
7
Posts %
Top posts
View all questions and answers