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/LP
ChrisHughes24/Sylow
ChrisHughes24/lean4bits
ChrisHughes24/leanstuff
ChrisHughes24/MatroidLinearProgramming
ChrisHughes24/xena
Lean Library currently studying for a degree at Imperial College
ChrisHughes24/bigop
Lean port of the mathcomp big operators lib
ChrisHughes24/lean3bits
ChrisHughes24/single_relation
ChrisHughes24/bits
ChrisHughes24/bitspaper
ChrisHughes24/categories
ChrisHughes24/coq-and-lean-playground
ChrisHughes24/jordan_hoelder
ChrisHughes24/lean
Lean Theorem Prover
ChrisHughes24/lean-differential-topology
This may become a formalization of smooth manifolds in lean
ChrisHughes24/lean-polyhedra
ChrisHughes24/lean-scratchpad
Experimentation with the Lean prover
ChrisHughes24/lean4
Lean 4 programming language and theorem prover
ChrisHughes24/lean4stats
ChrisHughes24/lean4stuff
ChrisHughes24/leanstuff1
ChrisHughes24/mason-stother
Lean formalization of the Mason-Stother theorem
ChrisHughes24/mathlib
Lean mathematical components library
ChrisHughes24/mathlib4
Work in progress mathlib port for lean 4
ChrisHughes24/natural_number_game
Building the natural numbers in Lean.
ChrisHughes24/numbertheory
Proof of coursework 1 for the Imperial number theory course
ChrisHughes24/qpf
Datatypes as quotients of polynomial functors
ChrisHughes24/type_class
Examples of Lean 3 type class problems
ChrisHughes24/UMP_notes