commit: 4839a92cd96891265b1d9284c3b564c587a5e008

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

Fri May 30 09:46:12 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri May 30 09:47:02 2025 -0700
tree: f99dfc3c583173da5265f2c1f1a78fa84d1fd983
parent: 4f77e0522523892e7a19fe1f12a30edd76c4bb0e [diff]

chore: move test

It is working now

tests/lean/run/grind_ite_congr.lean[Renamed from tests/lean/grind/grind_ite_congr.lean - diff]

1 file changed

tree: f99dfc3c583173da5265f2c1f1a78fa84d1fd983

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.