batteries
The "batteries included" extended library for the Lean programming language and theorem prover
of 68 versions of batteries
1-20Sort by
Date
a67fc66
v4.23.0-rc281.9 MB6e89c73
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-rc16135103
v4.18.0v4.18.0092b30d
v4.18.0-rc1v4.18.0-rc169.8 MB