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
- 120 what mistakes did the Italian algebraic geometers actually make?
- 102 Which mathematical definitions should be formalised in Lean?
- 102 Etale cohomology -- Why study it?
- 90 solving $f(f(x))=g(x)$
- 76 What would you want to see at the Museum of Mathematics?
- 68 Smooth proper scheme over Z
- 67 Proofs shown to be wrong after formalization with proof assistant
- View more network posts →