Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
763
reputation
4
17

nekketsuuu

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

17
answers
1
question
~7k
people reached
  • Japan
  • Member for 2 years, 8 months
  • 80 profile views
  • Last seen May 19 at 7:59

Top tags (26)

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

Top posts (18) All Questions Answers | Votes Newest

View all questions and answers

Badges (21)

Gold

Silver

4

Rarest

Bronze

17

Rarest