joelriou

Mathematician at University Paris-Saclay

Orsay, France

Pinned Repositories

FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Language:Lean180 10 1036
dold-kan
Proof of the Dold-Kan equivalence in Lean
Language:Lean00
homotopical_algebra
Language:Lean30
joelriou
Config files for my GitHub profile.
00
lean-derived-categories
Formalization of derived categories in Lean/mathlib
Language:Lean10
lean-homotopy-theory
A development of homotopy theory in the Lean formal theorem prover.
Language:Lean00
lean-liquid
💧 Liquid Tensor Experiment
Language:Lean169 13 7612
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS51 12 35119
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 52 362297
mathlib4
The math library of Lean 4
Language:Lean1.3k 38 392294

joelriou's Repositories

joelriou/homotopical_algebra
Language:Lean30
joelriou/lean-derived-categories
Formalization of derived categories in Lean/mathlib
Language:Lean10
joelriou/dold-kan
Proof of the Dold-Kan equivalence in Lean
Language:Lean00
joelriou/joelriou
Config files for my GitHub profile.
00
joelriou/lean-homotopy-theory
A development of homotopy theory in the Lean formal theorem prover.
Language:Lean00