batteries
The "batteries included" extended library for the Lean programming language and theorem prover
of 56 versions of batteries
1-20Sort by
Date
78e1181
cb53cd3
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.05de6320
76e9ebe
31a10a3
daf1ed9