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.9.0.tar.gz
sha256=6eb4d51a1c66aeea8448f7c62b21a8603ccd025c00b9b62976c1e01278a6cd01

Description

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

Published: 11 Mar 2020

Dependencies (2)

  1. coq-elpi >= "1.3.0" & < "1.4.0~"
  2. coq >= "8.10.0" & < "8.12.0~"

Dev Dependencies

None

Used by (3)

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

Conflicts

None