mathlib
The math library of Lean 4
of 70 versions of mathlib
1-20Sort by
Date
8939bd7
v4.23.0-rc290c0e18
v4.23.0-rc2v4.23.0-rc279e94a0
v4.22.0v4.22.0928758a
v4.22.0-rc4v4.22.0-rc419f4ef2
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-rc1