mathlib
The math library of Lean 4
of 43 versions of mathlib
1-20Sort by
Date
49f1292
41ff1f7
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-rc35ef3a83
v4.9.0-rc2v4.9.0-rc2bbf0d1e
v4.9.0-rc1v4.9.0-rc1b5eba59
v4.8.0v4.8.0e091c88
v4.8.0-rc2v4.8.0-rc2db65174
v4.8.0-rc1v4.8.0-rc1