Skip to main content
Proof Assistants Beta
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 1 year, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
126
reputation
213
reached
1
answer
0
questions
Communities
View all
About

Algebraic number theorist in London

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
1
Score
1
Posts
100
Posts %
Top posts
answer
1
Proving `succ_mul` without using `nth_rewrite`
Jun 1
Top network posts
View all network posts
226
Proving you *can't* make $2011$ out of $1,2,3,4$: nice twist on the usual
61
mouse sometimes doubleclicks when i click once
53
mouse sometimes doubleclicks when i click once
41
Any positive integer solutions to $x^6+y^{10}=z^{15}$?
37
Where does the term "integral domain" come from?