armael

armael avatar
Active user
3 years ago by invitation from c-cube
179, averaging 12.79 per story/comment
6, most commonly tagged pdf
8

OCaml hacker, Coq user, post-doc in compsci