| Tag: mathcomp 1 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: coq formal-verification mathematics hierarchy | ||
| Package | Description | Version |
|---|---|---|
| hierarchy-builder ☆ formula | High level commands to declare a hierarchy based on packed classes | |