package coq-geocoq-coinc

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>

Sources

md5=75609aa3fe8a0fc00cd99c96547775df

Description

This subpackage contains some tactics to deal with incidence properties.

Tags

category:Mathematics/Geometry/General keyword:geometry keyword:automation date:2024-03-24

Published: 25 Mar 2024

Dependencies (1)

coq >= "8.10"

Dev Dependencies

None

Used by (1)

coq-geocoq-axioms >= "2.5.0"

Conflicts

None

On This Page

Description
Dependencies (1)
Dev Dependencies
Used by (1)
Conflicts