c-cube
c-cube avatar
Active user
2 years ago by invitation from apy
184, averaging 3.83 per story/comment
6, most commonly tagged ml
42
https://github.com/c-cube

OCaml hacker, logician, computer scientist. https://simon.cedeela.fr