commit: d90d62c7823255f9f72f4c708cb9bef6a87e4991

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

Wed May 14 20:08:24 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed May 14 20:08:24 2025 -0700
tree: 970b0cda8269a4ede203ada34befd23cdc1118b4
parent: 4384764dbe13b681ff59ca3c881c3db700813561 [diff]

chore: move test to run

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

1 file changed

tree: 970b0cda8269a4ede203ada34befd23cdc1118b4

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.