commit: 43bbedca46f890e2d2b29d92f71b1e7b76aa0e93

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

Fri Feb 02 10:29:32 2024 +1100
committer: GitHub <noreply@github.com>

Thu Feb 01 23:29:32 2024 +0000
tree: 80020c4ced0efcc31847a40bcd6ce3bf69cda45f
parent: 509f35df02c4f2f78581194453efbed67e53879f [diff]

chore: begin development cycle for v4.7.0 (#3243)

2 files changed

tree: 80020c4ced0efcc31847a40bcd6ce3bf69cda45f

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.