armael
armael avatar
Active user
3 months ago by invitation from c-cube
41, averaging 13.67 per story/comment
1, most commonly tagged devops
2

OCaml hacker, Coq user, post-doc in compsci