commit: a749269acdd7a9b01dbcb408f32177919f11b524

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

Mon Sep 15 09:37:59 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 15 09:37:59 2025 +1000
tree: ee43b68ce4f47fd1e680d9d23d5ea00dc3672af8
parent: a966ce64ca35db2d9ca20e22ce23bc96eede8edc [diff]

feat: updates to release process for v4.23.0

2 files changed

tree: ee43b68ce4f47fd1e680d9d23d5ea00dc3672af8

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.