Kevin Buzzard

London

http://www.ma.imperial.ac.uk/~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/

Top Questions
1 2 3 4 5 6

Top Answers
1 2 3 4 5 6