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. G
    Gabriel Braun <gabriel.braun@unistra.fr>
  2. P
    Pierre Boutry <pierre.boutry@unistra.fr>
  3. C
    Charly Gries <Charly.Gries@etu.unistra.fr>
  4. J
    Julien Narboux <narboux@unistra.fr>

Maintainers

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

Sources

v2.1.0.tar.gz
md5=49a43be2d060c909bd2775dc33d487b9

Description

Tags

keyword:geometry keyword:neutral geometry keyword:euclidean geometry keyword:foundations keyword:Tarski keyword:Hilbert keyword:Pappus keyword:Desargues keyword:parallel postulates category:Mathematics/Geometry/General

Published: 17 May 2016

Dependencies (2)

  1. coq >= "8.4pl4" & < "8.5~beta1"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None