Joël Riou's repositories
lean-derived-categories
Formalization of derived categories in Lean/mathlib
dold-kan
Proof of the Dold-Kan equivalence in Lean
Language:Lean000
joelriou
Config files for my GitHub profile.
000
lean-homotopy-theory
A development of homotopy theory in the Lean formal theorem prover.
Apache-2.0000