248
reputation
1
7

Kevin Buzzard

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/

1
answer
2
questions
~497
people reached

Top tags (7)

Score 7
Posts 1
Posts % 33
Score 7
Posts 1
Score 7
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (3)

Badges (8)

Gold

Silver

1

Rarest

Bronze

7

Rarest