3 ms·
Neat! Is there one correct solution for each proof, or is there something more complex going on behind the scenes?
by alew1 9y ago
Neat! Is there one correct solution for each proof, or is there something more complex going on behind the scenes?
- neap24 9y agoFor 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/