Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 13 years, 1 month
  • Last seen more than 1 year ago
Stats
39,525
reputation
0
reached
0
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/

This user doesn’t have any gold badges yet.
13
silver badges
3
bronze badges
Posts

This user hasn’t posted yet.