commit: 3f69d46345b8cbc23d035d4feb8472c297ff90b0

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

Tue Mar 05 12:54:36 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Mar 05 12:54:36 2024 +1100
tree: 51f827837a4a58046cc6ecf6fa33089aae086079
parent: 01104cc81e81cbbdabd9c860c72506654fd801c2 [diff]

chore: begin development cycle for v4.8.0

2 files changed

tree: 51f827837a4a58046cc6ecf6fa33089aae086079

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.