35,657
reputation
8
129
222

Kevin Buzzard

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

My blog aimed at teaching undergraduates to use Lean, a formal proof verification system: https://xenaproject.wordpress.com/

210
answers
60
questions
~783k
people reached

Top tags (152)

Score 1,240
Posts 141
Posts % 52
Score 443
Posts 40
Score 269
Posts 29
Score 222
Posts 14
Score 164
Posts 21
Score 135
Posts 18

Top posts (270) All Questions Answers | Votes Newest

View all questions and answers

Badges (359)

Gold

8

Rarest

Silver

129

Rarest

Bronze

222

Rarest