You are viewing the staging branch of the website @ 884bba1, not the live version.

package coq-geocoq

You can search for identifiers within the package.

in-package search v0.2.0

A formalization of foundations of geometry in Coq

Install

Dune Dependency

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

Authors

Maintainers

J

Julien Narboux <julien@narboux.fr>

Sources

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)

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

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (2)
Dev Dependencies
Used by
Conflicts