commit: c66cca24fb95fa5c1c35d55d8c306fa5434310f9

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

Mon Dec 02 14:51:14 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Dec 02 14:51:14 2024 +1100
tree: 71742fdaf25e1f6d2a8edcc23f702c06b16c8cb2
parent: 6bf8ff32f0c9c5bdbecd4bef5a7f49ef6700199e [diff]

chore: begin development cycle for v4.16.0

2 files changed

tree: 71742fdaf25e1f6d2a8edcc23f702c06b16c8cb2

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