search

math-comp / hierarchy-builder

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

Fixing mathcomp after coq/coq#17484 #372

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

https://github.com/coq/coq/pull/17484 broke mathcomp. I should do some profiling to check this but there is no obvious dramatic effect.