commit: 804d663723a634da0679eae1de37130864613dc0

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

Mon Jul 01 09:16:34 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Jul 01 09:16:34 2024 +1000
tree: eefcb3af12979e3a872959ded78dec0c15d14211
parent: 0629eebc09d7aa152e6eeace2078b1ce84ddd0d8 [diff]

chore: begin development cycle for v4.11.0

3 files changed

tree: eefcb3af12979e3a872959ded78dec0c15d14211

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