commit: e8d954d992112996479eaa1ded97e91142cf9547

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

Wed Jan 15 15:46:11 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 15 15:46:11 2025 -0800
tree: 9021e811eb88953da71a46962e978e9f55f39d8e
parent: 6d2f5987a9a663b012d8b0403458c5948071704a [diff]

chore: add test

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

1 file changed

tree: 9021e811eb88953da71a46962e978e9f55f39d8e

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 (documentation source: doc/make/index.md).