c-cube

c-cube avatar
Active user
6 years ago by invitation from apy
2533, averaging 6.40 per story/comment
41, most commonly tagged ml
353
https://github.com/c-cube

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