Zimm i48
Stats
501
reputation
16k
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.
3
silver badges
12
bronze badges

Top tags (6)

Score 18
Posts 4
Posts % 67
Score 15
Posts 1
Score 3
Posts 1
Score 2
Posts 3
Score 0
Posts 1
Score 0
Posts 1

Top posts (6)