151
reputation
11 views
discussion user
network profile

Registered User

name nekketsuuu
member for 2 years
seen 12 hours ago
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