commit: a0b960e5c462c8b89442c15a1b4d1394c08688db

[log]
author: Joe Hendrix <joe@lean-fro.org>

Wed Feb 28 09:00:52 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Wed Feb 28 09:00:52 2024 -0800
tree: 2b07ff920bf266c3dbb8b2f5a8a549c8a03e2a71
parent: fa058ed2286460e6b7b6ab8aebbac76ec7741dc1 [diff]

chore: port librarySearch tests from std

src/Init/Data/List/BasicAux.lean[diff]
tests/lean/librarySearch.lean[Added - diff]
tests/lean/librarySearch.lean.expected.out[Added - diff]

3 files changed

tree: 2b07ff920bf266c3dbb8b2f5a8a549c8a03e2a71

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.