Open Internet by MindsNet

Geometric Proof Assistant

Automated theorem proving for geometric statements - research-grade tool

Mathematics & logic, Mathematics, Geometry