166
reputation
4

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.

1
answer
0
questions
~414
people reached

Top tags (1)

Score 5
Posts 1
Posts % 100

Top posts (1)

Badges (4)

Gold

Silver

Bronze

4

Rarest