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

OCaml hacker, Coq user, post-doc in compsci