batteries
The "batteries included" extended library for the Lean programming language and theorem prover
of 53 versions of batteries
1-20Sort by
Date
f523fcb
ff4cd73
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
63c1c38
4756e0f
fa571ea
v4.12.0-rc1v4.12.0-rc1