Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 14 years, 4 months
  • Last seen more than a week ago
Stats
40,511
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,395
Score
143
Posts
51
Posts %
475
Score
41
Posts
15
Posts %
343
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