commit: 946009cd660c5795d89d2d8509caeeeb130124c3

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

Fri May 03 12:58:44 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Fri May 03 12:58:44 2024 +1000
tree: 0000a0fe1e6943fa2a08e2e39a64280b0c782be0
parent: e733149134a9fa9e92bc589afbe6c2cbb665835c [diff]

chore: begin development cycle for v4.9.0

2 files changed

tree: 0000a0fe1e6943fa2a08e2e39a64280b0c782be0

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