Active
Recent
Comments
Search
Login
Login
c-cube
Status:
Active user
Joined:
5 years ago
by
invitation
from
apy
Karma:
2336, averaging 6.40 per story/comment
Stories Submitted:
39
, most commonly tagged
formalmethods
Comments Posted:
324
GitHub:
https://github.com/c-cube
About:
OCaml hacker, logician, computer scientist.
https://simon.cedeela.fr