c-cube
c-cube avatar
Active user
4 years ago by invitation from apy
1878, averaging 6.20 per story/comment
34, most commonly tagged programming
267
https://github.com/c-cube

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