euclid-parser. Parse geometry proof language for diagram-building instructions.

github.com/anandthakker/euclid-parser

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.