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/
Top Questions
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/