search

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes
MIT License
97 stars 21 forks source link

Revert "Fixing mathcomp after coq/coq#17484" #374

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

No longer necessary since https://github.com/coq/coq/pull/17853