Internal workspace
MechMath Workspace
An internal workspace for MechMath research and collaboration at AMSS.
Open workspaceWorkspace
Access MechMath research environments and theorem-proving systems.
Geometry system
MechGeo
An online system for autoformalization and certified theorem proving in Euclidean geometry.
Open MechGeo