Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 12 years, 11 months
  • Last seen this week
Stats
39,427
reputation
1.0m
reached
217
answers
63
questions
Loading…
About

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/

13
gold badges
153
silver badges
235
bronze badges
1,362
Score
143
Posts
51
Posts %
467
Score
41
Posts
15
Posts %
333
Score
30
Posts
11
Posts %
242
Score
14
Posts
5
Posts %
181
Score
21
Posts
8
Posts %
145
Score
20
Posts
7
Posts %
Top posts
View all questions and answers