package coq-geocoq-algebraic
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 a model of Tarski's axioms and some counter-models.
Tags
category:Mathematics/Geometry/General keyword:geometry keyword:Euclidean geometry keyword:hyperbolic geometry keyword:foundations keyword:Tarski keyword:parallel postulates keyword:model keyword:counter-model keyword:Cartesian space date:2024-03-24Published: 25 Mar 2024
Dependencies (2)
-
coq-mathcomp-field
>= "1.11.0" & < "2.0~" -
coq-geocoq-main
= version
Dev Dependencies
None
Used by (2)
-
coq-geocoq
>= "2.5.0" -
coq-geocoq-pof
>= "2.5.0"
Conflicts (1)
-
coq-geocoq-pof
!= version
On This Page