29,217
reputation
8
126
217

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
~771k
people reached

Top tags (152)

Score 1,237
Posts 141
Posts % 52
Score 442
Posts 40
Score 269
Posts 29
Score 219
Posts 14
Score 164
Posts 21
Score 133
Posts 18

Top posts (270) All Questions Answers | Votes Newest

View all questions and answers

Badges (351)

Gold

8

Rarest

Silver

126

Rarest

Bronze

217

Rarest