commit: 22ca91c0b92f897688db2d676c03a69e74de4b04

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

Tue Jun 04 10:46:42 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jun 04 10:46:42 2024 +1000
tree: 402e5d328f983b21954bca633738b6994924fe40
parent: f65e3ae9859a4288b94b4a9fda93f406244d8dbc [diff]

chore: remove unneeded Batteries reference in repeat doc-string

src/Init/Tactics.lean[diff]

1 file changed

tree: 402e5d328f983b21954bca633738b6994924fe40

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