research
research algebra mathematics hyperbolic-geometry mathlib octet gauge-theory lean4 hyperbolic-triangles spectral-geometry diophantine-geometry monodromy
-
Updated
Sep 4, 2026 - Lean