commit: 6df6f43b6be31a4d777d00436c704a83d12479b6

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

Sun Aug 24 18:19:34 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Sun Aug 24 18:19:34 2025 +1000
tree: 1247498a319793c4c5a9f2820aeedced57462c79
parent: dfdd682c017a96896d8cfa683f510dd2e0491752 [diff]

chore: fix error in Grind/Arith/Linear/StructId

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

1 file changed

tree: 1247498a319793c4c5a9f2820aeedced57462c79

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.