Formalization of geometry in Coq

projects software
, ,
1

https://geocoq.github.io/GeoCoq/