36,615
reputation
11
139
225

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/

214
answers
60
questions
~844k
people reached

Top tags (155)

Score 1,263
Posts 141
Posts % 51
Score 448
Posts 40
Score 277
Posts 29
Score 230
Posts 14
Score 174
Posts 21
Score 140
Posts 19

Top posts (274)

View all questions and answers

Badges (375)

Gold

11

Rarest

Silver

139

Rarest

Bronze

225

Rarest