package coq-geocoq-axioms
A formalization of foundations of geometry in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.5.0.tar.gz
md5=75609aa3fe8a0fc00cd99c96547775df
Description
This subpackage contains the axioms.
Tags
category:Mathematics/Geometry/General keyword:geometry keyword:neutral geometry keyword:Euclidean geometry keyword:foundations keyword:Tarski keyword:Hilbert keyword:Euclid keyword:Elements keyword:parallel postulates date:2024-03-24Published: 25 Mar 2024
Dependencies (1)
-
coq-geocoq-coinc
= version
Dev Dependencies
None
Used by (2)
-
coq-geocoq-elements
>= "2.5.0" -
coq-geocoq-main
>= "2.5.0"
Conflicts
None
On This Page