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.1.tar.gz
sha256=25acacb6b8aaac1666c4d710bb35d1f715c936d7dc0cab01d573102a33ae9c98

Description

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

Published: 04 Jun 2020

Dependencies (1)

  1. coq-elpi >= "1.4.0" & < "1.5.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