Math Classes Versions Save

What's Changed

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

Full Changelog: https://github.com/coq-community/math-classes/compare/8.18.0...8.19.0

This release is compatible with Coq 8.11 to 8.18.

What's Changed

• Adapt to Coq 8.18, by @ppedrot in https://github.com/coq-community/math-classes/pull/117
• Introduce CI for Coq 8.18, by @Zimmi48 in https://github.com/coq-community/math-classes/pull/119

Full Changelog: https://github.com/coq-community/math-classes/compare/8.17.0...8.18.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 https://github.com/coq-community/math-classes/pull/111, https://github.com/coq-community/math-classes/pull/112, and https://github.com/coq-community/math-classes/pull/116
• Adapt to Coq 8.18 (version still under development at the time of this release) by @andres-erbsen in https://github.com/coq-community/math-classes/pull/114

New Contributors

• @andres-erbsen made their first contribution in https://github.com/coq-community/math-classes/pull/114

Full Changelog: https://github.com/coq-community/math-classes/compare/8.15.0...8.17.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 https://github.com/coq-community/math-classes/pull/100
• Compatibility with coq <= 8.10, by @larsr in https://github.com/coq-community/math-classes/pull/102
• Compatibility with Coq 8.15, by @ppedrot in https://github.com/coq-community/math-classes/pull/105
• CI tests Coq versions 8.6 up to 8.15, by @Zimmi48 in https://github.com/coq-community/math-classes/pull/103 and https://github.com/coq-community/math-classes/pull/110

New Contributors

• @mdgeorge4153 made their first contribution in https://github.com/coq-community/math-classes/pull/100
• @larsr made their first contribution in https://github.com/coq-community/math-classes/pull/102

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

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

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

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.6 and up