753
reputation
4
17

nekketsuuu

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

17
answers
1
question
~7k
people reached
  • Japan
  • Member for 2 years, 10 months
  • 81 profile views
  • Last seen Jul 17 at 14:11

Top tags (26)

Score 15
Posts 4
Posts % 22
Score 13
Posts 2
Score 7
Posts 2
Score 6
Posts 5
Score 4
Posts 2
Score 4
Posts 1

Top posts (18) All Questions Answers | Votes Newest

View all questions and answers

Badges (21)

Gold

Silver

4

Rarest

Bronze

17

Rarest