101
reputation
2

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
0
people reached

Top tags (2)

Score -1
Posts 1
Score -1
Posts 1

Top posts (1)

Badges (2)

Gold

Silver

Bronze

2

Rarest