commit: f21ec0b9e17a47d5c33fbf3fb31f4995862f755f

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

Thu Apr 10 07:05:30 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Thu Apr 10 07:05:30 2025 +0200
tree: 9a412d745c2a4d9987a41eaf3a832386040b7be9
parent: 6491aaef4356f476d6ed287679b35f3466c407cd [diff]
parent: acf42bd30bcae919a5e0bced30d4af58610814c0 [diff]

Merge remote-tracking branch 'origin/master' into BitVec.pow

tree: 9a412d745c2a4d9987a41eaf3a832386040b7be9

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