commit: 156e036421dad228eb8099f8995bb48a4500234b

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

Thu Oct 23 12:01:16 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Oct 23 12:01:16 2025 +1100
tree: 1d3f560790b5947399c70fc99b46e9d43103c66e
parent: 625dd27cd921feb74459864e5d8d169eff397dd9 [diff]

revert changes to tests

tests/lean/run/premise_selection_mepo.lean[diff]

1 file changed

tree: 1d3f560790b5947399c70fc99b46e9d43103c66e

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.