Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48
  • Member for 9 years, 9 months
  • Last seen this week
Stats
2,961
reputation
89k
reached
47
answers
5
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.
17
silver badges
26
bronze badges
84
Score
28
Posts
54
Posts %
60
Score
8
Posts
15
Posts %
47
Score
9
Posts
17
Posts %
26
Score
11
Posts
21
Posts %
19
Score
7
Posts
13
Posts %
14
Score
3
Posts
6
Posts %