commit: 15efbee18f0992aeba1d1531cccac7e56bc8f258

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

Thu Feb 29 16:21:18 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Feb 29 16:26:52 2024 +1100
tree: f94ea832729c044165c061f79af98fcfef3400fd
parent: c8d77b83de1be912bd9aa232d666c6896b05d90e [diff]

chore: restore %$tk

src/Init/Tactics.lean[diff]

1 file changed

tree: f94ea832729c044165c061f79af98fcfef3400fd

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.