501
reputation
3
12

Zimm i48

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.

4
answers
2
questions
~14k
people reached

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)

Badges (15)

Gold

Silver

3

Rarest

Bronze

12

Rarest