Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48
  • Member for 8 years, 6 months
  • Last seen more than a week ago
Stats
611
reputation
33k
reached
4
answers
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.

This user doesn’t have any gold badges yet.
6
silver badges
12
bronze badges
Top tags
28
Score
4
Posts
67
Posts %
25
Score
1
Posts
17
Posts %
3
Score
3
Posts
50
Posts %
3
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %