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
- 128 what mistakes did the Italian algebraic geometers actually make?
- 126 Proofs shown to be wrong after formalization with proof assistant
- 126 Which mathematical definitions should be formalised in Lean?
- 113 Extent of “unscientific”, and of wrong, papers in research mathematics
- 113 Etale cohomology -- Why study it?
- 100 solving $f(f(x))=g(x)$
- 80 What are the local Langlands conjectures nowadays, for connected reductive groups over a $p$-adic field?
- View more network posts →