commit: 43f1fe27977f562e9e2f165121a36c2f27e2e022

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

Tue Sep 16 10:17:57 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Sep 16 10:17:57 2025 +1000
tree: 6eddfb56c4382f1d92f1f22997a42b39ee11d421
parent: 6d30aeefe52c27139d8a926d66d0047e896dad71 [diff]

chore: fix to release scripts

script/release_steps.py[diff]

1 file changed

tree: 6eddfb56c4382f1d92f1f22997a42b39ee11d421

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.