We’re rewarding the question askers & reputations are being recalculated! Read more.
35,537
reputation
10
3

Kevin Buzzard

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/