batteries
The "batteries included" extended library for the Lean programming language and theorem prover
of 60 versions of batteries
1-20Sort by
Date
4765a4e
08681dd
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
f033799
f5d04a9
v4.19.0v4.19.0ff4cd73
v4.19.0-rc2v4.19.0-rc25a56dfa
v4.19.0-rc1v4.19.0-rc16135103
v4.18.0v4.18.0092b30d
efcc7d9
v4.17.0v4.17.0512d7fa
01006c9
v4.16.0v4.16.0c104265
v4.16.0-rc2v4.16.0-rc2b2e8b68
v4.16.0-rc1v4.16.0-rc1e8dc5fc
v4.15.0v4.15.07805acf
v4.15.0-rc1v4.15.0-rc18d6c853
v4.14.0v4.14.0