Active
Recent
Comments
Search
Login
Login
armael
Status:
Active user
Joined:
3 years ago
by
invitation
from
c-cube
Karma:
179, averaging 12.79 per story/comment
Stories Submitted:
6
, most commonly tagged
pdf
Comments Posted:
8
About:
OCaml hacker, Coq user, post-doc in compsci