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