commit: 494b20c71845687e99f2eed1ed4cb37f24102df5

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

Mon Sep 22 12:47:49 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Mon Sep 22 12:47:49 2025 +0200
tree: aa28e38a513a4e2d5ef4de09ed4fe8759d4a64b2
parent: 9fc18b8ab462cb9100d37a23814ebbac330e8577 [diff]

chore: add test for #10469 regression

tests/lean/grind/grind_subset_10469.lean[Added - diff]

1 file changed

tree: aa28e38a513a4e2d5ef4de09ed4fe8759d4a64b2

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.