Coq OPAMcoq-hierarchy-builder
Hierarchy Builder
opam install coq-hierarchy-builder.0.9.1
- homepage
- https://github.com/math-comp/hierarchy-builder
- license
- MIT
- bugs tracker
- https://github.com/math-comp/hierarchy-builder/issues
- dependencies
- "coq-elpi" {>= "1.4.0" & < "1.5.0~"}
- source
- https://github.com/math-comp/hierarchy-builder/archive/v0.9.1.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-hierarchy-builder/coq-hierarchy-builder.0.9.1