Skip to main content
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48
  • Member for 2 years, 3 months
  • Last seen more than a month ago
Stats
627
reputation
10k
reached
9
answers
0
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.
5
silver badges
9
bronze badges
48
Score
7
Posts
78
Posts %
16
Score
3
Posts
33
Posts %
13
Score
1
Posts
11
Posts %
13
Score
1
Posts
11
Posts %
11
Score
2
Posts
22
Posts %
11
Score
1
Posts
11
Posts %
Top posts