search

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
https://math-classes.github.io
MIT License
162 stars 43 forks source link

Adapt to https://github.com/coq/coq/pull/18590 #123

Closed proux01 closed 9 months ago

proux01 commented 9 months ago

Adapt to https://github.com/coq/coq/pull/18590

To be merged after https://github.com/coq-community/corn/pull/203