coq-infotheo Versions (42)

Version Release Date Links
0.9.6 13 Nov 2025 Documentation
0.9.5 16 Sep 2025 Documentation
0.9.4 07 Jul 2025 Documentation
0.9.3 10 May 2025 Documentation
0.9.2 28 Apr 2025 Documentation
0.9.1 21 Feb 2025 Documentation
0.9.0 21 Feb 2025 Documentation
0.7.7 19 Dec 2024 Documentation
0.7.6 19 Dec 2024 Documentation
0.7.5 29 Nov 2024 Documentation
0.7.4 25 Oct 2024 Documentation
0.7.3 25 Oct 2024 Documentation
0.7.2 27 Jun 2024 Documentation
0.7.1 23 May 2024 Documentation
0.7.0 22 Apr 2024 Documentation
0.6.1 05 Feb 2024 Documentation
0.6.0 03 Dec 2023 Documentation
0.5.2 06 Jun 2023 Documentation
0.5.1 25 Feb 2023 Documentation
0.5.0 13 Dec 2022 Documentation
0.4.0 31 Oct 2022 Documentation
0.3.8 24 Aug 2022 Documentation
0.3.7 19 Apr 2022 Documentation
0.3.6 14 Feb 2022 Documentation
0.3.5 03 Jan 2022 Documentation
0.3.4 20 Nov 2021 Documentation
0.3.3 14 Jun 2021 Documentation
0.3.2 23 Mar 2021 Documentation
0.3.1 27 Feb 2021 Documentation
0.3 14 Feb 2021 Documentation
0.2.2 07 Jan 2021 Documentation
0.2.1 15 Dec 2020 Documentation
0.2 13 Oct 2020 Documentation
0.1.2 12 Aug 2020 Documentation
0.1.1 12 Jun 2020 Documentation
0.1 21 Mar 2020 Documentation
0.0.7 05 Feb 2020 Documentation
0.0.6 05 Dec 2019 Documentation
0.0.5 09 Nov 2019 Documentation
0.0.4 18 Sep 2019 Documentation
0.0.3 03 Aug 2019 Documentation
0.0.1 28 Jun 2019 Documentation