Skip to main content
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand
Moderator
  • Member for 2 years, 4 months
  • Last seen this week
Stats
5,146
reputation
30k
reached
101
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
28
bronze badges
155
Score
53
Posts
50
Posts %
45
Score
10
Posts
10
Posts %
34
Score
7
Posts
7
Posts %
29
Score
8
Posts
8
Posts %
26
Score
8
Posts
8
Posts %
21
Score
7
Posts
7
Posts %
Top posts
View all questions and answers