Proof Assistants Beta
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 1 year, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
2,189
reputation
9k
reached
14
answers
2
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.
11
silver badges
20
bronze badges
Top tags
View all tags
82
Score
3
Posts
19
Posts %
80
Score
2
Posts
12
Posts %
42
Score
2
Posts
12
Posts %
35
Score
1
Posts
6
Posts %
35
Score
1
Posts
6
Posts %
35
Score
1
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
54
Are some proof assistants better suited for given areas of math than others?
Feb 9, 2022
answer
35
Proof assistants for beginners - a comparison
Feb 9, 2022
answer
28
Why haven't all of the "hundred greatest theorems" been formalized yet?
Feb 9, 2022
answer
26
Usage and Importance of Proof Assistants
Feb 8, 2022
question
20
Examples of formalisation of abelian categories
Apr 12, 2022
answer
14
What games are there?
Feb 13, 2022
answer
14
What games are there?
Feb 13, 2022
answer
10
Lean: problems with visually indistinguishable instances
Feb 19, 2022
question
10
auto-generating the proof of infinitude of primes
May 13, 2022
answer
7
Error when starting a project in Lean, 'binary package was not provided for 'windows''
Jan 5
Top network posts
View all network posts
145
Proofs shown to be wrong after formalization with proof assistant
136
Which mathematical definitions should be formalised in Lean?
133
what mistakes did the Italian algebraic geometers actually make?
120
Etale cohomology -- Why study it?
119
Extent of “unscientific”, and of wrong, papers in research mathematics

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.