Stack Exchange Network

Stack Exchange network consists of 174 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
27,513
reputation
5
113
202

Kevin Buzzard

Kevin Buzzard. Algebraic number theorist in London. Interested in formal theorem proving.

My blog aimed at teaching undergraduates to use Lean: https://xenaproject.wordpress.com/

208
answers
53
questions
~700k
people reached

Top Network Posts

We respect a laser-like focus on one topic.

Top Tags (145)

Score 1,197
Posts 140
Posts % 54
Score 437
Posts 40
Score 258
Posts 29
Score 204
Posts 14
Score 154
Posts 21
Score 130
Posts 18

Top Posts (261) All Questions Answers | Votes Newest

View all questions and answers

Badges (320)

Gold

5

Rarest

Silver

113

Rarest

Bronze

202

Rarest