package coq-geocoq-coinc

  1. Overview
  2. Homepage

Description

This subpackage contains some tactics to deal with incidence properties.

Dependencies (1)

  1. coq (>= "8.7" & < "8.12~")

Dev Dependencies

None

Used by (1)

  1. coq-geocoq-axioms = "2.4.1"

Conflicts

None

Rocq

Interactive Theorem Prover