Releases · drawthingsai/mathlib4

Repository navigation

v4.34.0 Latest

Latest

liuliu released this 16 Sep 18:38

5ed2965

chore: bump toolchain to v4.34.0 (#43798)

Co-authored-by: Joscha <joscha@plugh.de>

Assets 6

v4.33.1

liuliu released this 09 Sep 15:04

0df444a

chore: bump toolchain to v4.33.1

Assets 6