commit: 36b63ce4acf92ba4853b4d69961115751d20f2c3

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

Wed Dec 03 12:47:59 2025 +0000
committer: Kim Morrison <kim@tqft.net>

Thu Dec 04 05:32:02 2025 +0000
tree: 4b3538e64e64c78c3848159d6dd6c4c6f7f9a7ae
parent: aec4960ceb36570ccdd3be5802d8ec89bfe3a4d6 [diff]

add tests to ensure still works with -star

tests/lean/librarySearch.lean[diff]

1 file changed

tree: 4b3538e64e64c78c3848159d6dd6c4c6f7f9a7ae

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.