commit: 030a49a9513a1cd5724c82fdcf5836630f539e12

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

Tue Jun 03 16:18:35 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jun 03 16:18:35 2025 +1000
tree: 75141c8673b28e14547abae886d5dd3f9b8b1ea1
parent: 921be93535811b73879c14a4b489b09650143590 [diff]

chore: initial grind annotations for Array.range

src/Init/Data/Array/Lemmas.lean[diff]

1 file changed

tree: 75141c8673b28e14547abae886d5dd3f9b8b1ea1

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.