Kevin Buzzard. Algebraic number theorist in London. Interested in formal theorem proving.
My blog aimed at teaching undergraduates to use Lean: https://xenaproject.wordpress.com/
Top Network Posts
- 118 what mistakes did the Italian algebraic geometers actually make?
- 100 Etale cohomology -- Why study it?
- 95 Which mathematical definitions should be formalised in Lean?
- 89 solving $f(f(x))=g(x)$
- 75 What would you want to see at the Museum of Mathematics?
- 68 Smooth proper scheme over Z
- 65 What are the local Langlands conjectures nowadays, for connected reductive groups over a $p$-adic field?
- View more network posts →