coq-equations Versions (34)

Version Release Date Links
1.3.1+9.0 20 Mar 2025 Documentation
1.3.1+8.20 06 Sep 2024 Documentation
1.3+8.19 28 Jan 2024 Documentation
1.3+8.18 13 Sep 2023 Documentation
1.3+8.17 31 Mar 2023 Documentation
1.3+8.16 06 Sep 2022 Documentation
1.3+8.15 19 Jan 2022 Documentation
1.3+8.14 17 Oct 2021 Documentation
1.3+8.13 26 Nov 2021 Documentation
1.3~beta2+8.13 22 Jun 2021 Documentation
1.3~beta1+8.13 17 Oct 2021 Documentation
1.2.4+8.13 17 Mar 2021 Documentation
1.2.4+8.12 17 Mar 2021 Documentation
1.2.4+8.11 17 Mar 2021 Documentation
1.2.3+8.13 07 Jan 2021 Documentation
1.2.3+8.12 30 Jul 2020 Documentation
1.2.3+8.11 30 Jul 2020 Documentation
1.2.2+8.11 19 Jun 2020 Documentation
1.2.1+8.11 01 Mar 2020 Documentation
1.2.1+8.10 05 Nov 2019 Documentation
1.2.1+8.9 05 Nov 2019 Documentation
1.2+8.10 15 Oct 2019 Documentation
1.2+8.9 19 May 2019 Documentation
1.2+8.8 19 May 2019 Documentation
1.2~beta+8.9 29 Jan 2019 Documentation
1.2~beta+8.8 29 Jan 2019 Documentation
1.2~beta2+8.9 19 Mar 2019 Documentation
1.2~beta2+8.8 19 Mar 2019 Documentation
1.1+8.8 16 Jun 2018 Documentation
1.0+8.8 20 Apr 2018 Documentation
1.0+8.7 17 Dec 2017 Documentation
1.0 17 Dec 2017 Documentation
1.0~beta2+8.7 21 Nov 2017 Documentation
1.0~beta2 21 Nov 2017 Documentation