Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 14 years, 5 months
  • Last seen this week
Stats
40,579
reputation
1.1m
reached
218
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
163
silver badges
242
bronze badges
1,396
Score
143
Posts
51
Posts %
475
Score
41
Posts
15
Posts %
344
Score
30
Posts
11
Posts %
250
Score
14
Posts
5
Posts %
187
Score
21
Posts
7
Posts %
148
Score
20
Posts
7
Posts %
Top posts
View all questions and answers