commit: 9b4b279ca0575060b63c34c32974a5fdcb0faf00

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

Sat Jan 04 12:15:49 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Sat Jan 04 12:15:49 2025 +1100
tree: 5ebbf454eadb7aedd8639bf6e1e635294fac3460
parent: 8cce6ac6aa3b3a36dd97a83c65647b8423ba54e4 [diff]

update release_checklist.md

doc/dev/release_checklist.md[diff]

1 file changed

tree: 5ebbf454eadb7aedd8639bf6e1e635294fac3460

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