Kevin Buzzard (@kbuzzard)
github

kbuzzard

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    328
  • Global Rank 82,821 (Top 3 %)
  • Followers 709
  • Registered about 7 years ago
  • Most used languages
    Lean     100.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 4,282
  • Country Ranking
    Lean     2

Top repositories

1

xena

Lean Library currently studying for a degree at Imperial College
Lean
228
star
2

lean-stacks-project

Formal verification of parts of the Stacks Project in Lean
Lean
21
star
3

mathematics-in-lean

Learning material for mathematicians who want to learn Lean
Lean
9
star
4

real-numbers-course

A course on basic real analysis in Lean
Lean
8
star
5

mathlib4_experiments

Porting random files from Lean 3 mathlib into Lean 4, just for fun.
Lean
7
star
6

IISc-experiments

Some material for Lean 4 lectures at IISc
Lean
7
star
7

etale_experiments

Experiments with definition of etale morphisms etc
Lean
5
star
8

FilterGame

An interactive game introducing the concept of a filter.
Lean
5
star
9

lean4-filters

thinking about a "filter game" in Lean 4.
Lean
4
star
10

lean-squares-in-fibonacci

144 is the largest square in the Fibonacci sequence
Lean
4
star
11

xena-maze-game

A simple maze game in Lean
Lean
4
star
12

lean-game-skeleton

A skeleton repo for use with the Lean game maker
Lean
4
star
13

MweSkeletons

Mathlib4 hierarchy skeletons for making mathlib-free MWEs in Lean 4
Lean
3
star
14

maze-game

An abstraction of a maze.
Lean
3
star
15

Numbers

Defining numbers as equivalence classes of finite types
Lean
3
star
16

xenalib

Xena's maths library
2
star