Popular repositories Loading

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

   Materials for the course MS-C1541: Metric spaces

   16

2. VirasoroProject VirasoroProject Public

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

   Lean 3

3. lean_portmanteau lean_portmanteau Public

   Lean 2

4. Lie-course-materials Lie-course-materials Public

   Materials for the course "Lie groups and Lie algebras"

   1

5. AoC2023Lean4 AoC2023Lean4 Public

   Learning Lean4 programming with the Advent of Code 2023.

   Lean 1

6. lean-questions lean-questions Public

   My questions about formalizing mathematics in Lean

   Lean