commit: 01e8f42ce33b044e523e340101c2b554836a6409

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

Tue Feb 04 10:31:57 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Feb 04 10:31:57 2025 +1100
tree: 3787442f99173144c53bbb1edd0297e62d115eb2
parent: 8d5d4b05ef409e5ec4865493333c968a12045bf8 [diff]

chore: release_checklist.py checks if 'begin dev cycle' PR is needed

script/release_checklist.py[diff]

1 file changed

tree: 3787442f99173144c53bbb1edd0297e62d115eb2

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