commit: 140ec40b6cabe1902b573c7be67d76f2423ec304

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

Tue May 27 19:34:30 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue May 27 19:34:30 2025 +1000
tree: c381f79698add715830c72efa8b060b7cff1dcda
parent: a912652b7ddb9818bac123956ff8e2f8af4a3c83 [diff]

chore: missing @[grind] annotation for Array

2 files changed

tree: c381f79698add715830c72efa8b060b7cff1dcda

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.