package coq-hierarchy-builder-shim

  1. Overview
  2. No Docs
Shim package for HB

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

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

Maintainers

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

Sources

v1.4.0.tar.gz
sha256=96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99

Description

This package provide the support constants one can use to compile files generated by HB.

Tags

logpath:HB

Published: 29 Sep 2022

Dependencies

None

Dev Dependencies (1)

  1. coq-elpi (>= "1.14" & < "1.17~") | = "dev"

Used by

None