- libcoq-elpi-9u4i0
This software provides high-level commands to build hierarchies of algebraic
structures in the Coq system.
.
This package provides the runtime files.
Installed Size: 707.6 kB
Architectures: arm64 amd64