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>

Maintainers

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

Sources

v2.4.1.tar.gz
md5=14212f17e868a53ec0b6b84feda5c44d

Description

This subpackage contains a model of Tarski's axioms.

Tags

keyword:geometry keyword:euclidean geometry keyword:foundations keyword:Tarski keyword:model keyword:Cartesian space category:Mathematics/Geometry/General date:2024-03-03

Published: 04 Mar 2024

Dependencies (2)

  1. coq-mathcomp-field >= "1.6.4" & < "1.11.0"
  2. coq-geocoq-main = "2.4.1"

Dev Dependencies

None

Used by (1)

  1. coq-geocoq = "2.4.1"

Conflicts

None