Stats
2,861
reputation
2k
reached
1
answer
2
questions
Loading…
About
Software Engineering researcher working on the Coq proof assistant and its ecosystem. I like programming using nice functional languages with type-inference, such as OCaml or Elm.
Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
-
Good QuestionSep 12, 2016
-
Yearling
× 9Feb 21
8
bronze badges
-
Popular QuestionSep 20, 2016
-
TeacherJun 2, 2017
-
ScholarJul 26, 2016
Top tags
View all tags
2
Score
2
Posts
67
Posts %
2
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %