package coq-geocoq
A formalization of foundations of geometry in Coq
Install
Dune Dependency
Authors
-
MMichael Beeson <profbeeson@gmail.com>
-
GGabriel Braun <gabriel.braun@unistra.fr>
-
PPierre Boutry <contact@pierre.boutry.fr>
-
CCyril Cohen <cyril.cohen@inria.fr>
-
CCharly Gries <charly.gries@etu.unistra.fr>
-
SStéphane Kastenbaum <stephane.kastenbaum@gmail.com>
-
JJulien Narboux <narboux@unistra.fr>
-
PPascal Schreck <schreck@unistra.fr>
-
FFreek Wiedijk <freek@cs.ru.nl>
Maintainers
Description
This package depends on all subpackages.
Tags
category:Mathematics/Geometry/General keyword:geometry keyword:neutral geometry keyword:Euclidean geometry keyword:hyperbolic geometry keyword:foundations keyword:Tarski keyword:Hilbert keyword:Euclid keyword:Elements keyword:Pappus keyword:Desargues keyword:arithmetization keyword:Pythagoras keyword:Thales' intercept theorem keyword:continuity keyword:ruler and compass keyword:parallel postulates keyword:model keyword:counter-model keyword:Cartesian space keyword:automation date:2024-03-24Published: 25 Mar 2024
Dependencies (2)
-
coq-geocoq-elements
= version -
coq-geocoq-algebraic
= version
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page