commit: 1b65301859b9e7980cda60f5f5469e707f57ec0d

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

Thu Nov 06 05:50:36 2025 +0100
committer: Kim Morrison <kim@tqft.net>

Thu Nov 06 05:50:36 2025 +0100
tree: 9c132f63cab3f4d57157dcb3db382eae73c4a439
parent: ea2b745e575232eb7c474801ded022a47c4eb5a4 [diff]

feat: some missing Array grind annotations

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

1 file changed

tree: 9c132f63cab3f4d57157dcb3db382eae73c4a439

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.