commit: 0432399d5b7cc5e16227d049bb31d70172cc480a

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

Wed Jul 31 13:31:24 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jul 31 13:31:24 2024 +1000
tree: f2c354e0f020b210e7116424cf6b9a716032342a
parent: 3841caa192031ca9ad622d0eedcf76887a986a34 [diff]
parent: afe0b5a01326a99fb18049d29d7f62a5ffc83c15 [diff]

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

tree: f2c354e0f020b210e7116424cf6b9a716032342a

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