teichmuller

Here is 1 public repository matching this topic...

alexyyyander / teichmuller-tutorial

Über Teichmüller's Einheitliches Programm: Verifiable formalization of variable Riemann surfaces, continuing the unified research route from Göttingen school

topology mathematics category-theory formalization teichmuller lean4 riemann-surfaces complex-geometry moduli-spaces

Updated Aug 20, 2026
Lean

Add this topic to your repo

To associate your repository with the teichmuller topic, visit your repo's landing page and select "manage topics."

Learn more