This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

This package provides the command-line tool.