commit: 3ac667ab6b810c288106e843e715a4458b8e5e74

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

Thu Apr 03 13:54:46 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Apr 03 13:54:46 2025 +1100
tree: 303aacc256a75917b72d991d267bd51fbca2a7e5
parent: 9dceb39bac49b436111fe8f75e881f03879ecf80 [diff]

simplify instructions for dev cycle PR

doc/dev/release_checklist.md[diff]

1 file changed

tree: 303aacc256a75917b72d991d267bd51fbca2a7e5

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