4 ms·
Using something like Geocoq [0] to check the proof would be amazing. [0] http://geocoq.github.io/GeoCoq/ http://geocoq.github.io/GeoCoq/
by lbeziaud 9y ago
Using something like Geocoq [0] to check the proof would be amazing.
[0] http://geocoq.github.io/GeoCoq/ http://geocoq.github.io/GeoCoq/