- libcoq-hierarchy-builder (= 1.6.0-1+b1)
- ocaml
This software provides high-level commands to build hierarchies of algebraic
structures in the Coq system.
.
This package provides the command-line tool.
Installed Size: 2.3 MB
Architectures: amd64 arm64