coq-geocoq-pof

A formalization of foundations of geometry in Coq

opam install coq-geocoq-pof.2.4.0
homepage
http://geocoq.github.io/GeoCoq/
license
LGPL 3
bugs tracker
https://github.com/GeoCoq/GeoCoq/issues
dependencies
"coq-geocoq-main" {= "2.4.0"} "coq-mathcomp-field" {>= "1.6.4" & < "1.10.0"}
source
https://github.com/GeoCoq/GeoCoq/archive/v2.4.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-geocoq-pof/coq-geocoq-pof.2.4.0