Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48's user avatar
Zimm i48
  • Member for 7 years, 6 months
  • Last seen more than a month ago
Stats
201
reputation
0
reached
0
answers
0
questions
Loading…
About

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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Posts

This user hasn’t posted yet.