Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 2 years, 2 months
  • Last seen this week
Stats
2,460
reputation
14k
reached
18
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.
12
silver badges
21
bronze badges
84
Score
3
Posts
15
Posts %
82
Score
2
Posts
10
Posts %
47
Score
2
Posts
10
Posts %
42
Score
10
Posts
50
Posts %
41
Score
2
Posts
10
Posts %
13
Score
5
Posts
25
Posts %
Top posts
View all questions and answers