mathlib Releases

0.5.0 April 28th, 2023 15:40 Browse source on GitHub View diff between 0.5.0 and 0.4.0
0.4.0 January 10th, 2022 16:15 Browse source on GitHub View diff between 0.4.0 and 0.3.0
0.3.0 January 5th, 2022 11:21 Browse source on GitHub View diff between 0.3.0 and 0.2.0
0.2.0 October 13th, 2020 14:09 Browse source on GitHub View diff between 0.2.0 and 0.1.4
0.1.4 September 18th, 2020 14:03 Browse source on GitHub View diff between 0.1.4 and 0.1.3
0.1.3 April 30th, 2019 06:50 Browse source on GitHub View diff between 0.1.3 and 0.1.2
0.1.2 April 29th, 2019 06:51 Browse source on GitHub View diff between 0.1.2 and 0.1.1
0.1.1 April 26th, 2019 15:39 Browse source on GitHub View diff between 0.1.1 and 0.1.0
0.1.0 April 18th, 2019 16:47 Browse source on GitHub

Subscribe to an RSS feed of mathlib releases