commit: 449bc31832604562dc46c203e110077eff8598a9

[log]
author: Kim Morrison <477956+kim-em@users.noreply.github.com>

Tue Jun 24 13:51:39 2025 +1000
committer: GitHub <noreply@github.com>

Tue Jun 24 03:51:39 2025 +0000
tree: 45d0312be8bf04e2fb97aea727a65f340395c465
parent: 8fe068ef6834373f4b4739f325121c1e487fafe2 [diff]

chore: adds (failing) grind algebra tests (#8961)

src/Init/Grind/Ordered/Int.lean[diff]
tests/lean/grind/algebra/nat.lean[Added - diff]
tests/lean/grind/algebra/nlinarith.lean[Added - diff]
tests/lean/grind/algebra/ordered_modules.lean[Deleted - diff]

4 files changed

tree: 45d0312be8bf04e2fb97aea727a65f340395c465

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.