Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 9 months
  • Last seen more than a week ago
Stats
1,821
reputation
5k
reached
9
answers
2
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/

This user doesn’t have any gold badges yet.
10
silver badges
20
bronze badges
81
Score
3
Posts
27
Posts %
78
Score
2
Posts
18
Posts %
25
Score
1
Posts
9
Posts %
25
Score
1
Posts
9
Posts %
25
Score
1
Posts
9
Posts %
25
Score
1
Posts
9
Posts %
Top posts
View all questions and answers