Kevin Buzzard
  • Member for 2 months
  • Last seen more than a month ago
Stats
340
reputation
1k
reached
2
answers
0
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/

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
20
Score
2
Posts
100
Posts %