batteries
The "batteries included" extended library for the Lean programming language and theorem prover
of 43 versions of batteries
1-20Sort by
Date
9e583ef
7805acf
v4.15.0-rc1v4.15.0-rc18d6c853
v4.14.0v4.14.05de6320
76e9ebe
31a10a3
daf1ed9
63c1c38
4756e0f
fa571ea
v4.12.0-rc1v4.12.0-rc19c6c2d6
v4.11.0v4.11.0021e272
v4.11.0-rc1v4.11.0-rc10f3e143
v4.10.0v4.10.0dcea9ce
v4.9.1v4.9.1c0efc1f
v4.10.0-rc2v4.10.0-rc22ead90d
v4.10.0-rc1v4.10.0-rc154bb04c
v4.9.0v4.9.0da2d1d4
v4.9.0-rc3v4.9.0-rc3194b50c
v4.9.0-rc2v4.9.0-rc26a63eb6
v4.9.0-rc1v4.9.0-rc1