151
reputation
17 views
discussion user
network profile

Registered User

name nekketsuuu
member for 7 years
seen Apr 19 '19 at 3:50
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