umachan

umachan avatar
Active user
3 years ago by invitation from linuxhackerman
0, averaging 0.00 per story/comment
0
0

formalisation, verification

currently working on: type-checking session-typed pi-calculus in coq