commit: a88c90781fc7c2fe32d80ca7f060273dd23f6ab2

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

Wed Nov 05 23:01:50 2025 -0500
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Nov 05 23:01:50 2025 -0500
tree: b41640f09549806925e3ee5ab5340b7b6585b97d
parent: 3992728c3164a0f171f6a7f8250dfe80fdc6ccc9 [diff]

test: correct name

tests/lean/run/grind_11088.lean[Renamed from tests/lean/run/grind_11099.lean - diff]

1 file changed

tree: b41640f09549806925e3ee5ab5340b7b6585b97d

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.