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
161 stars 43 forks source link

Fix w.r.t. coq/coq#14679. #105

Closed ppedrot closed 3 years ago

ppedrot commented 3 years ago

This is probably backwards compatible and supersedes #104.

ppedrot commented 3 years ago

Should I merge this myself?

spitters commented 3 years ago

Thanks @ppedrot . Yes, it would have been OK to merge yourself. It's a community project, and your a valued coq expert.