package coq-geocoq-main

  1. Overview
  2. No Docs
A formalization of foundations of geometry in Coq

Install

Dune Dependency

geocoq.github.io Edit opam file Versions (3)

Authors

  1. G
    Gabriel Braun <gabriel.braun@unistra.fr>
  2. P
    Pierre Boutry <pierre.boutry@inria.fr>
  3. C
    Charly Gries <charly.gries@etu.unistra.fr>
  4. J
    Julien Narboux <narboux@unistra.fr>
  5. P
    Pascal Schreck <schreck@unistra.fr>

Maintainers

  1. J
    Julien Narboux <julien@narboux.fr>

Sources

v2.4.0.tar.gz
md5=4a4ad33b4cad9b815a9b5c6308524c63

Description

This subpackage contains the main developments from Hilbert's and Tarski's axiom systems.

Tags

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 category:Mathematics/Geometry/General date:2018-06-13

Published: 10 Oct 2019

Dependencies (1)

  1. coq-geocoq-axioms = "2.4.0"

Dev Dependencies

None

Used by (1)

  1. coq-geocoq-pof < "2.4.1"

Conflicts

None