armael
armael avatar
Active user
26 days ago by invitation from c-cube
8, averaging 8.00 per story/comment
0
1

OCaml hacker, Coq user, post-doc in compsci