commit: 1d06375e4e20d208fa6c011761792262e4b3ad19

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

Fri Mar 07 14:44:12 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Mar 07 14:44:12 2025 -0800
tree: 33010892e1950312d563af52a8c93d42aaff923e
parent: 0c5cda76016ec96b754d0fe7885a65c06d0fc326 [diff]

test: for `grind` ite-issue

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

1 file changed

tree: 33010892e1950312d563af52a8c93d42aaff923e

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).