armael
armael avatar
Active user
1 year ago by invitation from c-cube
156, averaging 15.60 per story/comment
5, most commonly tagged practices
5

OCaml hacker, Coq user, post-doc in compsci