commit: 490d8bc14f390555b3a69395934961d41ba0802c

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

Tue Feb 17 12:12:52 2026 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Feb 17 12:12:52 2026 +1100
tree: e540ba6ce3315657c249c9918a530a6e5f686c5a
parent: bd72681329db9fb04d28ff656ed0f3fad83c0415 [diff]
parent: 69393c4d9e82935dd11e233e8727e94826bac638 [diff]

Merge remote-tracking branch 'origin/master' into fix-release-notes-title-ordering

# Conflicts:
#	script/release_steps.py

tree: e540ba6ce3315657c249c9918a530a6e5f686c5a

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.