Kevin Buzzard

icon indicating a website link https://profiles.imperial.ac.uk/k.buzzard icon indicating an email [email protected]

icon company @ImperialCollegeLondon icon location London icon location Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

Results 2 repositories owned by Kevin Buzzard

lean-stacks-project

22
Stars
8
Forks
22
Watchers

Formal verification of parts of the Stacks Project in Lean

verified publisher icon kbuzzard

xena

229
Stars
23
Forks
229
Watchers

Lean Library currently studying for a degree at Imperial College

verified publisher icon kbuzzard