151
reputation
7 views
discussion user
network profile

Registered User

name nekketsuuu
member for 1 year
seen Oct 7 at 15:57
website
location Japan

Formal methods / Type theory / OCaml / Go / C++

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


0

Followed


0

Example Questions


5

Votes Cast

5 up

0 down