commit: 8559efe1ffcceedec7998f47bdbe14dd1e2ccfe2

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Wed Nov 19 10:26:52 2025 +0100
committer: Joachim Breitner <mail@joachim-breitner.de>

Wed Nov 19 10:26:52 2025 +0100
tree: 2c33dc788469d66115b106aa4bdd62c94d2137f0
parent: b5ae86cd99e206b798c1a836d5c4ef0c8c43ce25 [diff]
parent: f7031c7aa9176c480e1dc3f4a69a30e0f35e1ae1 [diff]

Merge remote-tracking branch 'origin/gh-readonly-queue/master/pr-11239-9fc90488ce239cfe8e4317269d37fe4160787d0d' into joachim/sameCtorCases-thunk

tree: 2c33dc788469d66115b106aa4bdd62c94d2137f0

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.