Skip to content

Releases: coq-community/math-classes

1.0.6: Merge pull request #36 from Zimmi48/fix-for-coq-pr-474

14 Jun 15:49
Compare
Choose a tag to compare
fix a unused variable name warning.
Thanks!