Skip to main content
Proof Assistants Meta
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 2 years, 5 months
  • Last seen more than 2 years ago
Profile Activity
Stats
2,500
reputation
0
reached
0
answers
0
questions
Communities
View all
About

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/

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
145
Proofs shown to be wrong after formalization with proof assistant
138
Which mathematical definitions should be formalised in Lean?
135
what mistakes did the Italian algebraic geometers actually make?
122
Etale cohomology -- Why study it?
121
Extent of “unscientific”, and of wrong, papers in research mathematics