For now, there is one correct solution. So it's dependent on the teacher to pin ...

		neap24 on July 13, 2017 \| parent \| context \| favorite \| on: Show HN: Proof Companion – Geometry proof practice... For now, there is one correct solution. So it's dependent on the teacher to pin any statements/reasons to ensure there's only one possible answer. I have some ideas for making it more flexible in the future, but haven't quite solved the user interface problem for assigning parent and child steps.

Using something like Geocoq [0] to check the proof would be amazing.