commit: 80e869ae9fc97aeb957c7f3f96f5d119fdb7fd93

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

Sat Jan 04 12:06:40 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Sat Jan 04 12:06:40 2025 +1100
tree: 0cdf0e509f95f137bd2d8d8d0f5238ea2a28e13e
parent: 58d178e68f47897ed804000be7abbd27cf389d4c [diff]

chore: begin development cycle for v4.17.0

3 files changed

tree: 0cdf0e509f95f137bd2d8d8d0f5238ea2a28e13e

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