Popular repositories Loading

1. Metric-spaces-materials Metric-spaces-materials Public

   Materials for the course MS-C1541: Metric spaces

   17

2. VirasoroProject VirasoroProject Public

   Lean project on the Virasoro algebra (2-cohomology of the Witt algebra, definition of the Virasoro algebra, ...)

   Lean 4 1

3. FormalMathIntro2025 FormalMathIntro2025 Public

   A repository for the course MS-EV0029.

   Lean 3 3

4. lean_portmanteau lean_portmanteau Public

   Lean 2

5. ExtremeValueProject ExtremeValueProject Public

   A project to formalize Fisher-Tippett-Gnedenko theorem (default project of course MS-EV0029)

   Lean 2 9

6. Lie-course-materials Lie-course-materials Public

   Materials for the course "Lie groups and Lie algebras"

   1