commit: 9b9c7893a208f3d5cb97a539a5bb3e062258b743

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

Wed Feb 14 14:35:35 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Feb 14 14:35:35 2024 +1100
tree: 137e822a660d6b33419f73228193231f85289d20
parent: 6c8a91b25947ad43b8882c96ecd9710e2eac65e7 [diff]

fix bad merge

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

1 file changed

tree: 137e822a660d6b33419f73228193231f85289d20

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.