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 2 years, 7 months
  • Last seen more than 1 year ago
Profile Activity

Stats

136
reputation
718
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

2
Score
1
Posts
100
Posts %

Top posts

2
Proving `succ_mul` without using `nth_rewrite`
Jun 1, 2024

Top network posts

View all network posts
228
Proving you *can't* make $2011$ out of $1,2,3,4$: nice twist on the usual
62
mouse sometimes doubleclicks when i click once
54
mouse sometimes doubleclicks when i click once
41
Any positive integer solutions to $x^6+y^{10}=z^{15}$?
39
Where does the term "integral domain" come from?