This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.
Installed Size: 774.1 kB Architectures: arm64 amd64