GitHub repository: math-comp/hierarchy-builder
Primary language: Rocq Prover
Created: 2019-04-09T14:10:54Z
Description: High level commands to declare a hierarchy based on packed classes