package coq-geocoq

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

Install

Dune Dependency

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

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
    Cyril Cohen <cyril.cohen@inria.fr>
  5. C
    Charly Gries <charly.gries@etu.unistra.fr>
  6. J
    Julien Narboux <narboux@unistra.fr>
  7. P
    Pascal Schreck <schreck@unistra.fr>
  8. F
    Freek Wiedijk <freek@cs.ru.nl>

Maintainers

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

Sources

v2.4.1.tar.gz
md5=14212f17e868a53ec0b6b84feda5c44d

Description

This package depends on all subpackages.

Tags

keyword:geometry keyword:neutral geometry keyword:euclidean 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:Cartesian space keyword:automation category:Mathematics/Geometry/General date:2024-03-03

Published: 04 Mar 2024

Dependencies (2)

  1. coq-geocoq-pof = "2.4.1"
  2. coq-geocoq-elements = "2.4.1"

Dev Dependencies

None

Used by

None

Conflicts

None