commit: dae6ec8c3e92e4a99b86b1db830dd40f639e2112

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

Tue Dec 03 10:38:22 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Dec 03 10:38:22 2024 +1100
tree: 7eed55c8a78b7ef0c14e23b8dd1a9fa4f435aa7c
parent: fbce86713f7b6a7e0eb8436dba961633c81b7dcb [diff]
parent: d9d54c1f99363f42d1485f6b67f281a5985f684e [diff]

Merge remote-tracking branch 'origin/master' into byAsSorry_fixes

tree: 7eed55c8a78b7ef0c14e23b8dd1a9fa4f435aa7c

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