Kevin Buzzard
@kbuzzardProfessor of pure mathematics at Imperial College London. Currently learning about theorem provers.
Language Breakdown
Lines of code distribution across 19 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Lean
Collaboration Network
Global Impact visualization
Repos
221
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Not following anyone yet.
Top Repositories
Lean Library currently studying for a degree at Imperial College
Formal verification of parts of the Stacks Project in Lean
Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory
Learning material for mathematicians who want to learn Lean
Some material for Lean 4 lectures at IISc
A course on basic real analysis in Lean
Porting random files from Lean 3 mathlib into Lean 4, just for fun.
An interactive game introducing the concept of a filter.
Experiments with definition of etale morphisms etc
Lean files for the 2024 Durham Computational Algebraic Geometry workshop
Open Source Impact
Contributions to external projects
