156
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
~98
people reached
  • Paris, France
  • Member for 10 months
  • 3 profile views
  • Last seen May 7 at 9:02

Top tags (3)

Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1

Top posts (1)

Badges (2)

Gold

Silver

Bronze

2

Rarest