commit: 136d4b2822d692d654e6e10bf205cabf243e42f8

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Jul 07 16:08:28 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jul 07 16:08:28 2025 -0700
tree: 65fec6201ac4392be708e9c4cac9a87eecb1c2ec
parent: 67d9d9d9364ff4906f134970b150743a7cc9c268 [diff]

chore: test for issue #9216

This PR adds a new test with the analysis for issue #9216.

tests/lean/run/grind_9216.lean[Added - diff]

1 file changed

tree: 65fec6201ac4392be708e9c4cac9a87eecb1c2ec

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.