why3 Versions (36)

Version Release Date Links
1.8.0 13 Dec 2024 Documentation
1.7.2 22 Apr 2024 Documentation
1.7.1 25 Jan 2024 Documentation
1.7.0 27 Nov 2023 Documentation
1.6.0 08 Mar 2023 Documentation
1.5.1 14 Sep 2022 Documentation
1.5.0 29 Apr 2022 Documentation
1.4.1 21 Feb 2022 Documentation
1.4.0 21 Mar 2021 Documentation
1.3.3 12 Sep 2020 Documentation
1.3.2 06 Sep 2020 Documentation
1.3.1 24 Mar 2020 Documentation
1.3.0 17 Mar 2020 Documentation
1.2.1 28 Oct 2019 Documentation
1.2.0 16 Feb 2019 Documentation
1.1.1 17 Dec 2018 Documentation
1.1.0 17 Oct 2018 Documentation
1.0.0 28 Jun 2018 Documentation
0.88.3 12 Jan 2018 Documentation
0.88.2 07 Dec 2017 Documentation
0.88.1 07 Nov 2017 Documentation
0.88.0 13 Oct 2017 Documentation
0.87.3 17 Jan 2017 Documentation
0.87.2 04 Sep 2016 Documentation
0.87.1 11 Jul 2016 Documentation
0.87.0 15 Mar 2016 Documentation
0.86.3 09 Feb 2016 Documentation
0.86.2 14 Oct 2015 Documentation
0.86 12 May 2015 Documentation
0.85 18 Sep 2014 Documentation
0.84 03 Sep 2014 Documentation
0.83 06 May 2014 Documentation
0.82 10 Jan 2014 Documentation
0.81 21 Nov 2013 Documentation
0.80 21 Nov 2013 Documentation
0.73 21 Nov 2013 Documentation