commit: 084f498fac08bd348b4596514f318358cacd5af2

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

Thu Oct 17 15:31:23 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Oct 17 15:31:23 2024 +1100
tree: 47a73ee16e5ac060d4d06a55cbcedbf1835a15fd
parent: 68d6970da928c15229e335c47c0c631e99afd86a [diff]
parent: e8970463d1ff7bb6671f119ffded5b04a9269766 [diff]

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

tree: 47a73ee16e5ac060d4d06a55cbcedbf1835a15fd

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