batteries
The "batteries included" extended library for the Lean programming language and theorem prover
of 70 versions of batteries
1-20Sort by
Date
3881bc9
v4.24.0-rc1v4.24.0-rc13881bc9
v4.24.0-rc1v4.24.0-rc1d117e2c
v4.23.0v4.23.06e89c73
v4.23.0-rc2v4.23.0-rc281.9 MB240676e
v4.22.0v4.22.0dc46fbd
v4.23.0-rc1v4.23.0-rc1e96b5ec
v4.22.0-rc4v4.22.0-rc472.6 MB3cabaef
v4.22.0-rc3v4.22.0-rc372.2 MB3adabe7
v4.22.0-rc2v4.22.0-rc202a0ceb
v4.22.0-rc1v4.22.0-rc171.9 MB8d2067b
v4.21.0v4.21.008681dd
v4.21.0-rc3v4.21.0-rc3973f265
v4.21.0-rc2v4.21.0-rc23aafa48
v4.21.0-rc1v4.21.0-rc17a0d63f
v4.20.0v4.20.0cb53cd3
v4.20.0-rc2v4.20.0-rc277.7 MBf033799
v4.20.0-rc1v4.20.0-rc177.7 MBf5d04a9
v4.19.0v4.19.0ff4cd73
v4.19.0-rc2v4.19.0-rc25a56dfa
v4.19.0-rc1v4.19.0-rc1