106
reputation
2

Shou Ya

Hi, I'm a (graduated) high school students from China. I'm interested primarily in math and theoretical computer science. I do program in haskell and ruby. My hobby is to prove math theorems with coq.

0
answers
1
question
~105
people reached
  • Member for 4 years, 5 months
  • 9 profile views
  • Last seen Apr 6 '16 at 3:55

Top tags (3)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (2)

Gold

Silver

Bronze

2

Rarest