2 search results for "tag:"keyword:Desargues""
Showing 1 - 2
-
coq-geocoq
No documentation
A formalization of foundations of geometry in Coqcategory: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-242.5.0LGPL-3.0-onlyUsed by 0 other packages25 Mar 2024 -
coq-geocoq-main
No documentation
A formalization of foundations of geometry in Coqcategory:Mathematics/Geometry/General keyword:geometry keyword:neutral geometry keyword:Euclidean geometry keyword:foundations keyword:Tarski keyword:Hilbert keyword:Euclid keyword:Pappus keyword:Desargues keyword:arithmetization keyword:Pythagoras keyword:Thales' intercept theorem keyword:continuity keyword:ruler and compass keyword:parallel postulates date:2024-03-242.5.0LGPL-3.0-onlyUsed by 1 other packages25 Mar 2024