commit: d0e49fe2a3956b8c6cab1f5d5591bbe22e34aa5c

[log]
author: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Thu Dec 11 14:13:44 2025 +0100
committer: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Fri Dec 12 15:45:44 2025 +0100
tree: d1b63955f032173819ea67760a1e3eca5eb05e8b
parent: 3077a29a0d0beb1b91406b130792c1cd5eef7158 [diff]

use Array

src/Lean/Linter/Coe.lean[diff]

1 file changed

tree: d1b63955f032173819ea67760a1e3eca5eb05e8b

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.