package coq-geocoq-main
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 main developments from Hilbert's and Tarski's axiom systems.
Tags
category: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-24Published: 25 Mar 2024
On This Page