c-cube

c-cube avatar
Active user
5 years ago by invitation from apy
2336, averaging 6.40 per story/comment
39, most commonly tagged formalmethods
324
https://github.com/c-cube

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