commit: b739d9f9c4e05487c40d79ba816ede97458a1544

[log]
author: Kim Morrison <kim@tqft.net>

Thu Oct 23 17:25:26 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Oct 23 17:25:26 2025 +1100
tree: bbc138e16d2df43d559112ce481682bdbc7d3afc
parent: 454b289d5d02ee634a6ca298bc591f31c3d71027 [diff]

move tests

tests/lean/run/grind_lax.lean[Renamed from tests/lean/grind_lax.lean - diff]
tests/lean/run/grind_premises.lean[Renamed from tests/lean/grind_premises.lean - diff]
tests/lean/run/premise_selection_import.lean[Renamed from tests/lean/premise_selection_import.lean - diff]

3 files changed

tree: bbc138e16d2df43d559112ce481682bdbc7d3afc

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.