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