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 5 years, 11 months
-
18 profile views
-
Last seen Mar 8 at 10:00
Communities (24)
Top network posts
Badges (15)
Gold
Silver
Rarest
-
Dec 27 '19