Re:Show HN: Proof Companion – Geometry proof practice for st...
by neap24 on Thursday July 13, 2017 @01:20PM
(#14763151)
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.
[ Parent
| on HN ]