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