package coq-hierarchy-builder

  1. Overview
  2. No Docs
Hierarchy Builder

Install

Dune Dependency

github.com Edit opam file Versions (14)

Authors

  1. C
    Cyril Cohen
  2. K
    Kazuhiko Sakaguchi
  3. E
    Enrico Tassi

Maintainers

  1. E
    Enrico Tassi <enrico.tassi@inria.fr>

Sources

v0.10.0.tar.gz
sha256=170ad371db025ddf7750235ce9cad45755482930adb751739e1bc13b4c77f858

Description

High level commands to declare and evolve a hierarchy based on packed classes.

Published: 10 Aug 2020

Dependencies (1)

  1. coq-elpi >= "1.5.0" & < "1.6.0~"

Dev Dependencies

None

Used by (3)

  1. coq-fcsl-pcm >= "2.0.0"
  2. coq-mathcomp-analysis >= "0.3.4" & != "0.3.13" & < "0.5.3"
  3. coq-mathcomp-cad

Conflicts

None