coq-elpi Versions (64)

Version Release Date Links
2.5.0 18 Feb 2025 Documentation
2.4.0 15 Jan 2025 Documentation
2.3.0 06 Dec 2024 Documentation
2.2.3 31 Jul 2024 Documentation
2.2.2 15 Jul 2024 Documentation
2.2.1 14 Jul 2024 Documentation
2.2.0 28 Jun 2024 Documentation
2.1.1 22 May 2024 Documentation
2.1.0 29 Mar 2024 Documentation
2.0.2 13 Feb 2024 Documentation
2.0.1 28 Jan 2024 Documentation
2.0.0.1 03 Feb 2024 Documentation
2.0.0 23 Dec 2023 Documentation
1.19.3 12 Oct 2023 Documentation
1.19.0 13 Sep 2023 Documentation
1.18.0 27 Jul 2023 Documentation
1.17.1 31 Mar 2023 Documentation
1.17.0 31 Mar 2023 Documentation
1.16.0 10 Nov 2022 Documentation
1.15.6 08 Sep 2022 Documentation
1.15.5 07 Sep 2022 Documentation
1.15.4 07 Sep 2022 Documentation
1.15.3 07 Sep 2022 Documentation
1.15.2 07 Sep 2022 Documentation
1.15.1 07 Sep 2022 Documentation
1.15.0 07 Sep 2022 Documentation
1.14.0 07 Apr 2022 Documentation
1.13.0 08 Feb 2022 Documentation
1.12.1 20 Jan 2022 Documentation
1.12.0 15 Jan 2022 Documentation
1.11.2 17 Oct 2021 Documentation
1.11.1 24 Sep 2021 Documentation
1.11.0 30 Jun 2021 Documentation
1.10.3 18 Jun 2021 Documentation
1.10.2 11 Jun 2021 Documentation
1.10.1 24 May 2021 Documentation
1.10.0 21 May 2021 Documentation
1.9.7 15 Apr 2021 Documentation
1.9.6 14 Apr 2021 Documentation
1.9.5 26 Mar 2021 Documentation
1.9.4 17 Mar 2021 Documentation
1.9.3 19 Feb 2021 Documentation
1.9.2 12 Feb 2021 Documentation
1.9.1 11 Feb 2021 Documentation
1.9.0 10 Feb 2021 Documentation
1.8.3~8.12 15 Apr 2021 Documentation
1.8.2~8.12 26 Mar 2021 Documentation
1.8.1 07 Jan 2021 Documentation
1.8.0 30 Nov 2020 Documentation
1.7.0 26 Nov 2020 Documentation
1.6.3~8.11 15 Apr 2021 Documentation
1.6.2~8.11 26 Mar 2021 Documentation
1.6.1~8.11 18 Mar 2021 Documentation
1.6.0 21 Aug 2020 Documentation
1.6.0~8.11 25 Aug 2020 Documentation
1.5.1 29 Jul 2020 Documentation
1.5.0 29 Jul 2020 Documentation
1.4.1 11 Jun 2020 Documentation
1.4.0 20 May 2020 Documentation
1.3.1 01 Mar 2020 Documentation
1.3.0 27 Feb 2020 Documentation
1.2.0 30 Oct 2019 Documentation
1.1.0 14 Oct 2019 Documentation
1.0.0 14 Oct 2019 Documentation