package coq-geocoq-axioms
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 the axioms.
Tags
keyword:geometry keyword:neutral geometry keyword:euclidean geometry keyword:foundations keyword:Tarski keyword:Hilbert keyword:Euclid keyword:Elements keyword:parallel postulates category:Mathematics/Geometry/General date:2018-06-13Published: 10 Oct 2019
Dependencies (2)
-
coq-geocoq-coinc
= "2.4.0" -
coq
>= "8.7"
Dev Dependencies
None
Used by (2)
-
coq-geocoq-elements
< "2.4.1" -
coq-geocoq-main
< "2.4.1"
Conflicts
None
On This Page