package coq-geocoq-coinc
A formalization of foundations of geometry in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.4.1.tar.gz
md5=14212f17e868a53ec0b6b84feda5c44d
Description
This subpackage contains some tactics to deal with incidence properties.
Tags
keyword:geometry keyword:automation category:Mathematics/Geometry/General date:2024-03-03Published: 04 Mar 2024
Dependencies (1)
-
coq
(>= "8.7" & < "8.12~")
Dev Dependencies
None
Used by (1)
-
coq-geocoq-axioms
= "2.4.1"
Conflicts
None
On This Page