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.1.0.tar.gz
sha256=ac5ebf16afdc4ed14018b823d19838c6e8423319c858c1f6e65f21f6b18d96b1

Description

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

Tags

logpath:HB

Published: 31 Mar 2021

Dependencies (1)

  1. coq >= "8.10"

Dev Dependencies

None

Used by

None