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 network posts
- 123 what mistakes did the Italian algebraic geometers actually make?
- 108 Which mathematical definitions should be formalised in Lean?
- 105 Etale cohomology -- Why study it?
- 105 Proofs shown to be wrong after formalization with proof assistant
- 99 Extent of “unscientific”, and of wrong, papers in research mathematics
- 98 solving $f(f(x))=g(x)$
- 77 What would you want to see at the Museum of Mathematics?
- View more network posts →