commit: ea0eafc59cbb81c36097fbc76d6469093b600239

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Mon Jun 16 22:26:47 2025 +0200
committer: Joachim Breitner <mail@joachim-breitner.de>

Mon Jun 16 22:26:47 2025 +0200
tree: 5830c3582bf522333bbc5d407932e046dff293e1
parent: 644f57ad35c6e41fa18d7b33ee213b6c9617f94e [diff]

Avoid linter error

src/Lean/Meta/Tactic/Grind/Arith/Linear/Proof.lean[diff]

1 file changed

tree: 5830c3582bf522333bbc5d407932e046dff293e1

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.