commit: 95fe4f47e06b9fb05d32cc50763467bbdf1b1813

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

Wed Feb 18 01:24:38 2026 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Feb 18 01:24:38 2026 +1100
tree: dfc5f431de6910d60353ad10422b053f390fce8a
parent: 50ca2852374e9afbcd362ff2d4930f69ac288760 [diff]

chore: begin development cycle for v4.30.0

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

src/CMakeLists.txt[diff]

1 file changed

tree: dfc5f431de6910d60353ad10422b053f390fce8a

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.