mathlib
The math library of Lean 4
of 52 versions of mathlib
1-20Sort by
Date
36a0240
6cecf71
v4.18.0-rc1v4.18.0-rc15269898
96a5ba5
v4.17.0-rc1v4.17.0-rc1a6276f4
15f16b1
v4.16.0-rc2v4.16.0-rc2e9ae2a6
v4.15.0-patch1v4.15.0461b07d
v4.14.0-patch1v4.14.0a57f317
v4.16.0-rc1v4.16.0-rc19837ca9
v4.15.0v4.15.041ff1f7
v4.15.0-rc1v4.15.0-rc14bbdccd
v4.14.0v4.14.0a7fc949
v4.14.0-rc1v4.14.0-rc1d731765
v4.13.0v4.13.0809c3fb
v4.12.0v4.12.020c7314
5025874
v4.11.0-rc1v4.11.0-rc1a719ba5
v4.10.0v4.10.023c87df
v3-eolv4.10.0-rc209d33ef