batteries
The "batteries included" extended library for the Lean programming language and theorem prover
of 37 versions of batteries
1-20Sort by
Date
63c1c38
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-rc151e6e0d
v4.8.0v4.8.07b3c48b
v4.8.0-rc2v4.8.0-rc23025cb1
v4.8.0-rc1v4.8.0-rc13298387
v4.7.0v4.7.06b203c3
v4.7.0-rc2v4.7.0-rc2c695371
v4.6.1v4.6.1