commit: 4d0b7cf66c140dd83f8c8634293047335a385026

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Mon Jul 01 09:28:48 2024 +1000
committer: GitHub <noreply@github.com>

Sun Jun 30 23:28:48 2024 +0000
tree: eefcb3af12979e3a872959ded78dec0c15d14211
parent: 0629eebc09d7aa152e6eeace2078b1ce84ddd0d8 [diff]

chore: begin development cycle for v4.11.0 (#4594)

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