Show HN: Proof Companion – Geometry proof practice for students

Re:Show HN: Proof Companion – Geometry proof practice for st... by alew1 on Thursday July 13, 2017 @12:48PM (#14762838)

Neat! Is there one correct solution for each proof, or is there something more complex going on behind the scenes?

[ Parent | on HN ]

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 ]

Re:Show HN: Proof Companion – Geometry proof practice for st... by lbeziaud on Thursday July 13, 2017 @02:34PM (#14763894)

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

[0] http://geocoq.github.io/GeoCoq/

[ Parent | on HN ]