armael
armael avatar
Active user
7 months ago by invitation from c-cube
153, averaging 15.30 per story/comment
5, most commonly tagged practices
5

OCaml hacker, Coq user, post-doc in compsci