commit: 137a7f849bf1a001f3d07d00e32c79638b2591ee

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

Thu Sep 18 11:05:39 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Sep 18 11:05:39 2025 +1000
tree: ee79b3b9a6968644a8eb4027c5428fa10b506dd9
parent: b6d590ccc33552c4e76f3fc7851770feb39adaef [diff]

chore: custom steps in release checklist for CSLib

script/release_steps.py[diff]

1 file changed

tree: ee79b3b9a6968644a8eb4027c5428fa10b506dd9

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.