c-cube

c-cube avatar
Active user
5 years ago by invitation from apy
2092, averaging 6.36 per story/comment
36, most commonly tagged formalmethods
291
https://github.com/c-cube

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