News for hackers. Stuff that matters.

A comment on Show HN: Proof Companion – Geometry proof practice for students. Parent comment

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 ]

There are no comments on this comment yet.