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
-
Paris, France
-
Member for 7 years, 1 month
-
4 profile views
-
Last seen Jun 25 '20 at 15:06
