math-comp/hierarchy-builder

This is stars and forks stats for /math-comp/hierarchy-builder repository. As of 09 May, 2024 this repository has 82 stars and 18 forks.

Hierarchy Builder Hierarchy Builder (HB) provides high level commands to declare a hierarchy of algebraic structure (or interfaces if you prefer the glossary of computer science) for the Coq system. Given a structure one can develop its theory, and that theory becomes automatically applicable to all the examples of the structure. One can also declare alternative interfaces, for convenience or backward compatibility, and provide glue code linking these interfaces to the structures part of the hierarchy. HB...