Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand's user avatar
Meven Lennon-Bertrand
  • Member for 3 years, 1 month
  • Last seen this week
Stats
253
reputation
1k
reached
0
answers
5
questions
Loading…
About

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

Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts