commit: 7b6809e11937dcf6ea1ae022c807c99615899fb8

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

Mon Aug 11 16:04:54 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Aug 11 16:04:54 2025 +1000
tree: 443df82ce8aa15797cdf7c8ce525b6991d19c1b4
parent: 4506173a2724aa60f1b4ffcc74216883f93af7d8 [diff]

chore: add (failing) grind test for a regression from #9814

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

1 file changed

tree: 443df82ce8aa15797cdf7c8ce525b6991d19c1b4

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.