commit: 0abedb3e697db44d388189121c4fe95eb6a21d3c

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

Thu Jul 24 14:18:31 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Jul 24 14:18:31 2025 +1000
tree: ef28802506c7842e327135a3e9b0e81d64614502
parent: c4c349777669bb4d7a16ca485fd77eb0db48139c [diff]

scripts/release_steps only merges nightly-testing on rc1

script/release_steps.py[diff]

1 file changed

tree: ef28802506c7842e327135a3e9b0e81d64614502

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.