batteries
The "batteries included" extended library for the Lean programming language and theorem prover
1-20 of 97 versions of batteries
Sort by
Date
5dd219cv4.31.0-rc296.9 MB460b61av4.31.0-rc2v4.31.0-rc2708b057v4.31.0-rc1v4.31.0-rc132dc18cv4.30.0v4.30.091.1 MB5c57f38v4.30.0-rc2v4.30.0-rc2bf597c7v4.30.0-rc1v4.30.0-rc1756e332v4.29.0v4.29.0104.7 MB756e332v4.29.1v4.29.0104.7 MBbce25afv4.29.0-rc8v4.29.0-rc846f6618v4.29.0-rc7v4.29.0-rc7bd58e35v4.29.0-rc6v4.29.0-rc6ac3fb72v4.29.0-rc4v4.29.0-rc4ed250d0v4.29.0-rc3v4.29.0-rc307be181v4.29.0-rc2v4.29.0-rc2965500fv4.29.0-rc1v4.29.0-rc1495c008v4.28.0v4.28.0cabbb5av4.28.0-rc1v4.28.0-rc1b25b36av4.27.0v4.27.06254bedv4.27.0-rc1v4.27.0-rc195.2 MB2424182v4.26.0v4.26.0