commit: a447d3713e785e8ee4274bc6cdb2438ae645ea00

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

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

Sat Jan 04 12:09:41 2025 +1100
tree: f9ee494eae638f5db3ccd0949323f14ea5115639
parent: a5a3cf740515ac379ed1dbf10a01a301b704b7a0 [diff]

chore: incorporate notes from release_drafts

RELEASES.md[diff]
releases_drafts/list_lex.md[Deleted - diff]

2 files changed

tree: f9ee494eae638f5db3ccd0949323f14ea5115639

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