commit: c736152bbf9a2fcbbd2bf320759d85b2021a7b7b

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

Thu Jun 20 10:46:54 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Jun 20 10:46:54 2024 +1000
tree: 8a385506b9912f7575ea2c080192e48a6325a99f
parent: 458835360f8ca16f06a514c347dc5b0b183f3976 [diff]

cherry-pick stray test from #3850

tests/lean/librarySearch.lean[diff]

1 file changed

tree: 8a385506b9912f7575ea2c080192e48a6325a99f

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 (documentation source: doc/make/index.md).