commit: 7791ec784466067c022cb5ac2bb61fccbdbcad56

[log]
author: Kim Morrison <kim@tqft.net>

Wed Nov 27 15:05:52 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Nov 27 15:05:52 2024 +1100
tree: 3112c533807ee062fccfc2105c421a071484a6ca
parent: 321e148f51eb507acd9bf870ba1a7d469d4ed3b1 [diff]

feat: upstream List.finRange from Batteries

src/Init/Data/Array.lean[diff]
src/Init/Data/Array/FinRange.lean[Added - diff]
src/Init/Data/List.lean[diff]
src/Init/Data/List/FinRange.lean[Added - diff]

4 files changed

tree: 3112c533807ee062fccfc2105c421a071484a6ca

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).