commit: 160c0f1fc7c9e22635522445e9cd06f1e6df3ea7

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

Wed Oct 02 15:28:28 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Oct 02 15:28:28 2024 +1000
tree: 3ca571308db4f1c0c1a0f189741f554de4a0811c
parent: 1329a264c814efdbe81747f0d44b9b355a198262 [diff]

fix: bug in apply? when using intro

src/Lean/Elab/Tactic/LibrarySearch.lean[diff]

1 file changed

tree: 3ca571308db4f1c0c1a0f189741f554de4a0811c

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).