Popular repositories Loading

1. homotopical_algebra homotopical_algebra Public

   Lean 3

2. k-injective k-injective Public

   Lean 1

3. lean-derived-categories lean-derived-categories Public

   Formalization of derived categories in Lean/mathlib

   Lean 1

4. joelriou joelriou Public

   Config files for my GitHub profile.

5. dold-kan dold-kan Public

   Proof of the Dold-Kan equivalence in Lean

   Lean

6. lean-homotopy-theory lean-homotopy-theory Public

   Forked from rwbarton/lean-homotopy-theory

   A development of homotopy theory in the Lean formal theorem prover.

   Lean