3 ms·
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
by neap24 9y ago
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.
- lbeziaud 9y agoUsing something like Geocoq [0] to check the proof would be amazing. [0] http://geocoq.github.io/GeoCoq/ http://geocoq.github.io/GeoCoq/