commit: 6426c26900e70da5224c3cb4df4c5651b92f3254

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

Mon Jun 30 23:45:16 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Jun 30 23:45:16 2025 +1000
tree: e46937bc0ab7dd89da3bdc247905073070797e3c
parent: 9bbd2e64aac28fc4586c32ee0403d90d425d14c3 [diff]

feat: further release automation

script/release_steps.py[diff]

1 file changed

tree: e46937bc0ab7dd89da3bdc247905073070797e3c

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.