Changelog

[v3.2] — 2024-05-31

Changed

The implementation of lsr is more efficient

Added

Lemma urepr_lsr specifies the lsr operation

[v3.1] — 2024-03-21

Added

Explicit support for mathcomp 2.2 and Coq 8.19

[v2.3] — 2024-03-21

Added

Explicit support for mathcomp 1.19 and Coq 8.19

[v3.0] — 2023-11-22

Added

Support for mathcomp 2.0 – 2.1

Removed

Support for mathcomp 1.12 — 1.18
Support for Coq 8.12 – 8.15

[2.2] — 2023-11-21

Added

This CHANGELOG file
Explicit support for mathcomp 1.16 – 1.18