commit: 62429ef52b94f596133b909e36185728f2f1207d

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

Mon Jan 06 10:49:59 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Jan 06 10:49:59 2025 +1100
tree: 3775edbaddfe3dbcf9c5f48c9482dd8e24e5c102
parent: dc5c8097b5ca053dd49b5de246add54c3e999734 [diff]

feat: release checklist script

doc/dev/release_checklist.md[diff]
script/release_checklist.py[Added - diff]
script/release_repos.yml[Added - diff]

3 files changed

tree: 3775edbaddfe3dbcf9c5f48c9482dd8e24e5c102

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