coq-geocoq

A formalization of foundations of geometry in Coq.

opam install coq-geocoq.2.2.1
homepage
http://geocoq.github.io/GeoCoq/
license
LGPL 3
bugs tracker
https://github.com/GeoCoq/GeoCoq/issues
dependencies
coq (((>= 8.4pl4 & < 8.5~) | (>= 8.5 & < 8.6~) | (>= 8.6 & < 8.7~)))
source
https://github.com/GeoCoq/GeoCoq/archive/v2.2.1.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-geocoq/coq-geocoq.2.2.1