commit: 466b1b0d8b934e3823403d206eb27808ce873ce1

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

Fri Jan 31 10:47:44 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Fri Jan 31 10:47:44 2025 +1100
tree: 21fc255dd65e0eb3dd81ffc214ef59797b4ef26c
parent: baf3da8cea7dd623144c2e456b57456a2be760af [diff]

oops, add file

src/Init/Data/Vector/Range.lean[Added - diff]

1 file changed

tree: 21fc255dd65e0eb3dd81ffc214ef59797b4ef26c

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).