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