As of May 31, 2023, we have updated our Code of Conduct.
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48
  • Member for 9 years, 3 months
  • Last seen more than 4 years ago
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.

This user doesn’t have any gold badges yet.
10
silver badges
8
bronze badges
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 %