Pinned Repositories
lean3bits
lean4bits
leanstuff
LP
MatroidLinearProgramming
single_relation
Sylow
xena
Lean Library currently studying for a degree at Imperial College
ChrisHughes24's Repositories
ChrisHughes24/lean-stacks-project
Formal verification of parts of the Stacks Project in Lean