-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Nikolay Pultsin edited this page Apr 21, 2020
·
8 revisions
Solver/explainer of elementary planimetric problems.
The goal of the project is to create an app that takes a human-readable description of a planimetry problem and generates a human-readable solution.
Subprojects:
- Scene Creator
- Placement Finder
- Property Hunter
- Explainer
- Sketcher
© Geometer's Sandbox project, 2020