commit: cbc54f664376ad821412feab99618f1e37bd5b94

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Sun Feb 25 18:16:35 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Sun Feb 25 18:16:35 2024 +1100
tree: 6d5740858d123b5edfda603acd155021db8795e0
parent: 9e5e0e23b2ec5032670b04f80220d1f51f8f19be [diff]

chore: default for librarySearch tactic argument

2 files changed

tree: 6d5740858d123b5edfda603acd155021db8795e0

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.