mathlib
The math library of Lean 4
of 48 versions of mathlib
1-20Sort by
Date
3a74c6c
v4.16.0-rc215f16b1
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
984c68d
v4.10.0-rc2v4.10.0-rc2f5c3f06
v4.10.0-rc1v4.10.0-rc1f0957a7
f9caf98
v4.9.0-rc3v4.9.0-rc3