coq Versions (41)

Version Release Date Links
9.1.1 23 Feb 2026 Documentation
9.1.0 14 Oct 2025 Documentation
9.0.1 14 Oct 2025 Documentation
9.0.0 20 Mar 2025 Documentation
8.20.1 17 Jan 2025 Documentation
8.20.0 06 Sep 2024 Documentation
8.19.2 24 Jun 2024 Documentation
8.19.1 04 Mar 2024 Documentation
8.19.0 27 Jan 2024 Documentation
8.18.0 13 Sep 2023 Documentation
8.17.1 28 Jun 2023 Documentation
8.17.0 30 Mar 2023 Documentation
8.16.1 25 Nov 2022 Documentation
8.16.0 06 Sep 2022 Documentation
8.15.2 06 Jun 2022 Documentation
8.15.1 24 Mar 2022 Documentation
8.15.0 14 Jan 2022 Documentation
8.14.1 23 Nov 2021 Documentation
8.14.0 15 Oct 2021 Documentation
8.13.2 01 Apr 2021 Documentation
8.13.1 22 Feb 2021 Documentation
8.13.0 07 Jan 2021 Documentation
8.12.2 14 Dec 2020 Documentation
8.12.1 16 Nov 2020 Documentation
8.12.0 25 Jul 2020 Documentation
8.11.2 06 Jun 2020 Documentation
8.11.1 05 Apr 2020 Documentation
8.11.0 30 Jan 2020 Documentation
8.10.2 29 Nov 2019 Documentation
8.10.1 28 Oct 2019 Documentation
8.10.0 13 Oct 2019 Documentation
8.9.1 20 May 2019 Documentation
8.9.0 27 Jan 2019 Documentation
8.8.2 04 Oct 2018 Documentation
8.8.1 03 Jul 2018 Documentation
8.8.0 17 Apr 2018 Documentation
8.7.2 16 Feb 2018 Documentation
8.7.1+2 06 Feb 2018 Documentation
8.7.1+1 20 Dec 2017 Documentation
8.7.1 17 Dec 2017 Documentation
8.7.0 18 Oct 2017 Documentation