commit: 32794f60adafa2dd5bd10c4455b7b29ac74d4989

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

Wed Nov 27 16:16:30 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Nov 27 16:16:30 2024 +1100
tree: cd858b67753e298353ab461da17c58b793cfc880
parent: 66ebec97cabf6b3a190d16b8e5d114c730ee4600 [diff]
parent: 7e9dd5668bb2258617a2afd08fad16f5f7865ecf [diff]

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

tree: cd858b67753e298353ab461da17c58b793cfc880

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