package coq-geocoq-pof

  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. P
    Pierre Boutry <contact@pierre.boutry.fr>
  2. C
    Cyril Cohen <cyril.cohen@inria.fr>
  3. S
    Stéphane Kastenbaum <stephane.kastenbaum@gmail.com>

Maintainers

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

Description

This is a virtual package that can be safely removed.

Tags

category:Mathematics/Geometry/General keyword:geometry keyword:Euclidean geometry keyword:hyperbolic geometry keyword:foundations keyword:Tarski keyword:parallel postulates keyword:model keyword:counter-model keyword:Cartesian space date:2024-03-24

Published: 25 Mar 2024

Dependencies (1)

  1. coq-geocoq-algebraic = version

Dev Dependencies

None

Used by

None

Conflicts

None