armael
armael avatar
Active user
10 months ago by invitation from c-cube
155, averaging 15.50 per story/comment
5, most commonly tagged c
5

OCaml hacker, Coq user, post-doc in compsci