math-comp

math-comp/hierarchy-builder

High level commands to declare a hierarchy based on packed classes

1 good first / help-wanted issue · Rocq Prover · last activity Sep 8, 2025

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 about 1 year 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