The package for Equations 1.3.1 for Rocq 9.0 (including rc1) has been released on opam (rocq-equations.1.3.1+9.0 or coq-equations.1.3.1+9.0). One can now rely on it to port packages to Rocq 9.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Equations 1.2beta2 | 0 | 587 | March 19, 2019 | |
| Rocq 9.0+rc1 has just been tagged | 3 | 59 | February 14, 2025 | |
| Equations 1.2.2 for Coq 8.11 and Coq 8.12 | 0 | 721 | June 20, 2020 | |
| Equations 1.2.4 release | 0 | 557 | March 17, 2021 | |
| Equations 1.3 beta release | 0 | 624 | May 6, 2021 |