package coq-hierarchy-builder-shim
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Shim package for HB
Install
Dune Dependency
Authors
Maintainers
Sources
v1.2.0.tar.gz
sha256=ff0f1b432aa7b6643b61c6f7c70bd32c2afc703bc44b5580e6229f9749ef9fff
Description
This package provide the support constants one can use to compile files generated by HB.
On This Page