package coq-geocoq-axioms

  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. M
    Michael Beeson <profbeeson@gmail.com>
  2. G
    Gabriel Braun <gabriel.braun@unistra.fr>
  3. P
    Pierre Boutry <contact@pierre.boutry.fr>
  4. C
    Charly Gries <charly.gries@etu.unistra.fr>
  5. J
    Julien Narboux <narboux@unistra.fr>
  6. P
    Pascal Schreck <schreck@unistra.fr>

Maintainers

  1. P
    Pierre Boutry <contact@pierre.boutry.fr>

Sources

v2.5.0.tar.gz
md5=75609aa3fe8a0fc00cd99c96547775df

Description

This subpackage contains the axioms.

Tags

category:Mathematics/Geometry/General keyword:geometry keyword:neutral geometry keyword:Euclidean geometry keyword:foundations keyword:Tarski keyword:Hilbert keyword:Euclid keyword:Elements keyword:parallel postulates date:2024-03-24

Published: 25 Mar 2024

Dependencies (1)

  1. coq-geocoq-coinc = version

Dev Dependencies

None

Used by (2)

  1. coq-geocoq-elements >= "2.5.0"
  2. coq-geocoq-main >= "2.5.0"

Conflicts

None