package coq-geocoq-coinc
A formalization of foundations of geometry in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.4.0.tar.gz
md5=4a4ad33b4cad9b815a9b5c6308524c63
Description
This subpackage contains some tactics to deal with incidence properties.
Tags
keyword:geometry keyword:automation category:Mathematics/Geometry/General date:2018-06-13Published: 10 Oct 2019
Dependencies (1)
-
coq
(>= "8.6.1" & < "8.10~")
Dev Dependencies
None
Used by (1)
-
coq-geocoq-axioms
< "2.4.1"
Conflicts
None
On This Page