commit: 2c8c08364d40388998e841912f81b667e82fc70b

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Thu Aug 20 14:36:51 2026 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu Aug 20 14:37:01 2026 +0000
tree: e5445f8cf8c88e419a8e3886d8a117256e845619
parent: 6e07a982789ea1d73826bcb4f3dcda7a16d5df07 [diff]
parent: cc0ce2a3a57816b8e846006ffadfa9d8f34e0903 [diff]

merge upstream/master

tree: e5445f8cf8c88e419a8e3886d8a117256e845619

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.