commit: 1c53109473489c9bb1d4c5a2f0f7e4eee9bd6e72

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Mon Mar 31 20:57:32 2025 +1100
committer: GitHub <noreply@github.com>

Mon Mar 31 20:57:32 2025 +1100
tree: 137091c58340cbabbb3ec53ee11faeab60e0f438
parent: bcde272ff4fe34450b2f457f2f554e30088a1907 [diff]

Update doc/dev/release_checklist.md

doc/dev/release_checklist.md[diff]

1 file changed

tree: 137091c58340cbabbb3ec53ee11faeab60e0f438

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