commit: 69f8d761a687b6a8356418883a5bdb671f548d80

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

Wed Apr 02 21:28:49 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Apr 02 21:28:49 2025 +1100
tree: 798a10b0cf7daaf9e9464e2e99b700ffd4e6adb7
parent: 0c718ad3c3fab03c1d6a837f9733c3384dedb96f [diff]

feat: further release checklist automation

3 files changed

tree: 798a10b0cf7daaf9e9464e2e99b700ffd4e6adb7

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