mathlib
The math library of Lean 4
of 67 versions of mathlib
1-20Sort by
Date
063d2e5
v4.22.0-rc319f4ef2
v4.22.0-rc3v4.22.0-rc31a5c8fe
v4.22.0-rc2v4.22.0-rc2308445d
v4.21.0v4.21.05c0c94b
v4.20.1v4.20.16455ba8
v4.21.0-rc3v4.21.0-rc3e6a0a9c
v4.20.1-rc1v4.20.1-rc1b3c3864
v4.21.0-rc2v4.21.0-rc24e57d17
v4.21.0-rc1v4.21.0-rc1c211948
v4.20.0v4.20.04e685d1
v4.20.0-rc5v4.20.0-rc5abf6080
v4.20.0-rc2v4.20.0-rc2c44e0c8
v4.19.0v4.19.0ff99cda
v4.19.0-rc3v4.19.0-rc336198c1
v4.19.0-rc2v4.19.0-rc2aa936c3
v4.18.0v4.18.06cecf71
v4.18.0-rc1v4.18.0-rc15269898
96a5ba5
v4.17.0-rc1v4.17.0-rc1a6276f4