math-comp

math-comp/hierarchy-builder

High level commands to declare a hierarchy based on packed classes

101 stars 25 forks 101 watchers Rocq Prover MIT License

coq elpi mathcomp

1 Open Issue Need Help Last updated: Sep 8, 2025

Open Issues Need Help

View All on GitHub

HB command for aliases 2 months ago

good first issue low priority easy difficulty

math-comp/hierarchy-builder

101

High level commands to declare a hierarchy based on packed classes

Rocq Prover

#coq#elpi#mathcomp