armael

armael avatar
Active user
2 years ago by invitation from c-cube
177, averaging 12.64 per story/comment
6, most commonly tagged practices
8

OCaml hacker, Coq user, post-doc in compsci