Popular repositories Loading

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

   Materials for the course MS-C1541: Metric spaces

   16

2. lean_portmanteau lean_portmanteau Public

   Lean 2

3. Lie-course-materials Lie-course-materials Public

   Materials for the course "Lie groups and Lie algebras"

   1

4. AoC2023Lean4 AoC2023Lean4 Public

   Learning Lean4 programming with the Advent of Code 2023.

   Lean 1

5. lean-questions lean-questions Public

   My questions about formalizing mathematics in Lean

   Lean

6. pfr pfr Public

   Forked from teorth/pfr

   Fork of Tao's PFR project

   Lean