Math-Classes 8.19.0

What's Changed

• Adapt to coq/coq#6134 by @proux01 in #118
• Remove deprecated files in Coq.Arith by @Villetaneuse in #121
• Fix for a new rapply tactic by @JasonGross in #78
• Add Module instance for polynomials by @tymmym in #50
• Adapt to Coq PR #17832: syntax of choice in rewstrategy expects arguments at atomic level by @herbelin in #122
• Adapt to coq/coq#18590 by @proux01 in #123
• Remove the few instances of non-global hint declarations. by @ppedrot in #126
• Adapt to coq/coq#18880 by @proux01 in #127

Full Changelog: 8.18.0...8.19.0

Math-Classes 8.18.0

This release is compatible with Coq 8.11 to 8.18.

What's Changed

• Adapt to Coq 8.18, by @ppedrot in #117
• Introduce CI for Coq 8.18, by @Zimmi48 in #119

Full Changelog: 8.17.0...8.18.0

Math-Classes 8.17.0

This release drops compatibility with Coq < 8.11 and introduces compatibility with Coq 8.17.

What's Changed

• Adapt to Coq 8.17, drop compatibility with Coq < 8.11. by @ppedrot and @Zimmi48 in #111, #112, and #116
• Adapt to Coq 8.18 (version still under development at the time of this release) by @andres-erbsen in #114

New Contributors

• @andres-erbsen made their first contribution in #114

Full Changelog: 8.15.0...8.17.0

Math-Classes 8.15.0

This new version of Math Classes includes one new feature, restores compatibility with Coq 8.6-8.10 and introduces compatibility with Coq 8.15.

What's Changed

• Added group tactic and automated some proofs in groups.v, by @mdgeorge4153 in #100
• Compatibility with coq <= 8.10, by @larsr in #102
• Compatibility with Coq 8.15, by @ppedrot in #105
• CI tests Coq versions 8.6 up to 8.15, by @Zimmi48 in #103 and #110

New Contributors

• @mdgeorge4153 made their first contribution in #100
• @larsr made their first contribution in #102

Math-Classes compatibility release

This new version of Math Classes is known to be compatible with Coq 8.11 to 8.13.

Math-Classes compatibility release

This new version of Math Classes, released under the MIT license, is known to be compatible with Coq 8.6 to 8.12.

Math-Classes compatibility release

This new version of math-classes is known to be compatible with Coq 8.6-8.11.

Math-Classes compatibility release

This new version of math-classes is known to be compatible with Coq 8.6-8.10 (tested with Coq 8.6.1, 8.7.2, 8.8.2, 8.9.1, and 8.10+beta2).

Compatible with 8.8.1

Merge pull request #64 from spitters/master

updating readme

Compatible with 8.6 and up

Compatible with 8.6 and up