commit: 395ff870b6814d808de329f0c83605eac463dfdb

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

Fri Apr 04 14:28:26 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Fri Apr 04 14:28:26 2025 +1100
tree: 390fb7af57811418230a76c54adb8cd6e76db2ee
parent: bb6bfdba37fcda064775aa82979009d5036c7a9e [diff]

chore: updates to release_checklist.md

27 files changed

tree: 390fb7af57811418230a76c54adb8cd6e76db2ee

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