commit: eb76fad5e9acc72456a5e23697300f8824559383

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

Thu Jul 03 17:19:46 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Jul 03 17:19:46 2025 -0700
tree: 4430a2a1693ba9c834545ce1097cd9d1355f6f01
parent: 55d5ace68eb6d9db2c1954619a921b1c1883ffc8 [diff]

chore: move test to `run`

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

1 file changed

tree: 4430a2a1693ba9c834545ce1097cd9d1355f6f01

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.