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