coq-mathcomp-analysis Versions (47)

Version Release Date Links
1.13.0 19 Aug 2025 Documentation
1.12.0 07 Jul 2025 Documentation
1.11.0 02 May 2025 Documentation
1.10.0 22 Apr 2025 Documentation
1.9.0 20 Feb 2025 Documentation
1.8.0 19 Dec 2024 Documentation
1.7.0 22 Nov 2024 Documentation
1.6.0 27 Oct 2024 Documentation
1.5.0 09 Oct 2024 Documentation
1.4.0 24 Sep 2024 Documentation
1.3.1 09 Aug 2024 Documentation
1.3.0 09 Aug 2024 Documentation
1.2.0 06 Jun 2024 Documentation
1.1.0 02 Apr 2024 Documentation
1.0.0 26 Jan 2024 Documentation
0.7.0 19 Jan 2024 Documentation
0.6.7 09 Jan 2024 Documentation
0.6.6 14 Nov 2023 Documentation
0.6.5 02 Oct 2023 Documentation
0.6.4 05 Aug 2023 Documentation
0.6.3 21 Jun 2023 Documentation
0.6.2 22 Apr 2023 Documentation
0.6.1 24 Feb 2023 Documentation
0.6.0 14 Dec 2022 Documentation
0.5.4 07 Sep 2022 Documentation
0.5.3 10 Aug 2022 Documentation
0.5.2 12 Jul 2022 Documentation
0.5.1 05 Jun 2022 Documentation
0.5.0 23 Mar 2022 Documentation
0.4.0 14 Mar 2022 Documentation
0.3.13 24 Jan 2022 Documentation
0.3.12 29 Dec 2021 Documentation
0.3.11 19 Nov 2021 Documentation
0.3.10 12 Aug 2021 Documentation
0.3.9 12 Jun 2021 Documentation
0.3.8 02 Jun 2021 Documentation
0.3.7 01 Apr 2021 Documentation
0.3.6 04 Mar 2021 Documentation
0.3.5 21 Dec 2020 Documentation
0.3.4 13 Dec 2020 Documentation
0.3.3 11 Nov 2020 Documentation
0.3.2 11 Aug 2020 Documentation
0.3.1 11 Jun 2020 Documentation
0.2.3 05 Dec 2019 Documentation
0.2.2 10 Jun 2019 Documentation
0.2.0 10 Apr 2019 Documentation
0.1.0 10 Apr 2019 Documentation