c-cube
c-cube avatar
Active user
2 years ago by invitation from apy
445, averaging 5.49 per story/comment
11, most commonly tagged formalmethods
70
https://github.com/c-cube

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