commit: 24c4e8a313e65220679f2b59e7633ca29688fae6

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

Thu Aug 27 15:05:53 2026 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Aug 27 15:05:53 2026 +1000
tree: c4f3bbcdc71b5fae25973cd2c1c2e990603e4828
parent: f89ce9043451ac3f4154e01d700f2e9ab3ca1084 [diff]
parent: 31aea96d017b53c6acf56577b20e4ef48421af9e [diff]

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

# Conflicts:
#	src/Lean.lean

tree: c4f3bbcdc71b5fae25973cd2c1c2e990603e4828

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.