armael
armael avatar
Active user
1 year ago by invitation from c-cube
167, averaging 12.85 per story/comment
5, most commonly tagged pdf
8

OCaml hacker, Coq user, post-doc in compsci