Adapt ro https://github.com/coq/coq/pull/18164

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes

MIT License

95 stars 20 forks source link

Closed proux01 closed 10 months ago

proux01 commented 10 months ago

proux01 commented 10 months ago

CI green (this is a trivial one)

proux01 commented 10 months ago

@gares this is a trivial one, could it be merged?