c-cube
c-cube avatar
Active user
3 years ago by invitation from apy
1232, averaging 5.92 per story/comment
27, most commonly tagged formalmethods
179
https://github.com/c-cube

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