connect

Explore the GEOMETOR Euclid project and related repositories on GitHub:

• Organization: GEOMETOR

• Repository: geometor/euclid

• Sister Repository (G-Index & Symbolic Models): geometor/elements

• Issue Tracker: GitHub Issues