Skip to main content
Area 51
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 2 years, 10 months
  • Last seen more than 2 years ago
Profile Activity
Stats
390
reputation
1k
reached
2
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
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
20
Score
2
Posts
100
Posts %
Top posts
answer
19
Why have a Proof assistants SE site when there are already very active Zulip instances?
Nov 21, 2021
answer
1
What tags should the site Proof Assistants start with?
Nov 21, 2021
Top network posts
View all network posts
146
Proofs shown to be wrong after formalization with proof assistant
139
Which mathematical definitions should be formalised in Lean?
135
what mistakes did the Italian algebraic geometers actually make?
123
Etale cohomology -- Why study it?
121
Extent of “unscientific”, and of wrong, papers in research mathematics