User Kevin Buzzard - MathOverflow Meta

Kevin Buzzard

Member for 15 years, 1 month
Last seen more than a month ago

Stats

41,409

reputation

0

reached

0

answers

0

questions

Loading…

Communities

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.

15

silver badges

Yearling

× 15

Oct 29

3

bronze badges

Commentator

Sep 25, 2018
Critic

Sep 23, 2018
Autobiographer

Mar 16, 2016

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

156

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?

124

Etale cohomology -- Why study it?

121

Extent of “unscientific”, and of wrong, papers in research mathematics