Popular repositories Loading
-
-
-
hyperbolicGeometryInLean
hyperbolicGeometryInLean PublicFormalizing hyperbolic geometry in lean
-
-
orb
orb PublicForked from DamianHeard/orb
Orb is a computer program that can find hyperbolic structures on a large class of hyperbolic 3-orbifolds and 3-manifolds. It can start with a projection of a graph embedded in the 3-sphere, and pro…
C 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.