Pinned Repositories
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
dold-kan
Proof of the Dold-Kan equivalence in Lean
homotopical_algebra
joelriou
Config files for my GitHub profile.
lean-derived-categories
Formalization of derived categories in Lean/mathlib
lean-homotopy-theory
A development of homotopy theory in the Lean formal theorem prover.
lean-liquid
💧 Liquid Tensor Experiment
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
joelriou's Repositories
joelriou/homotopical_algebra
joelriou/lean-derived-categories
Formalization of derived categories in Lean/mathlib
joelriou/dold-kan
Proof of the Dold-Kan equivalence in Lean
joelriou/joelriou
Config files for my GitHub profile.
joelriou/lean-homotopy-theory
A development of homotopy theory in the Lean formal theorem prover.