commit: 0784ed4b23521b355238e0e4a87f2a83455ab10c

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

Fri Nov 14 12:24:16 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Fri Nov 14 12:24:16 2025 +1100
tree: dab7f512784e4321a488b56f4c2a250773330049
parent: 253d9e464b57516020f9fd8246f40ad42b431c6b [diff]

fix tests

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

1 file changed

tree: dab7f512784e4321a488b56f4c2a250773330049

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.