leanprover-community/mathlib4 projects
Search results
11 open and 2 closed projects found.- #16 updated
Nov 27, 2024 -
- #17 updated
Sep 10, 2024 The goal is to add the classification of finite-dimensional semisimple Lie algebras over algebraically-closed fields of characteristic zero to Mathlib. - #18 updated
Sep 4, 2024 A project to coordinate work on the development of infinity category theory -
- #8 updated
Feb 22, 2024 - #13 updated
Jan 28, 2024 - #15 updated
Dec 5, 2023 - #10 updated
Oct 26, 2023 - #11 updated
Oct 25, 2023 - #7 updated
Jul 27, 2023