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

package coq-geocoq-pof

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 (3)

Authors

Maintainers

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)

coq-geocoq-algebraic = version

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (1)
Dev Dependencies
Used by
Conflicts