commit: 642863e8c5befe8db0b61bbf2f5c9da57c66a45b

[log]
author: Kim Morrison <477956+kim-em@users.noreply.github.com>

Tue Jan 27 10:31:37 2026 +1100
committer: GitHub <noreply@github.com>

Mon Jan 26 23:31:37 2026 +0000
tree: 0c14c9b651401c3800677aa3cbcce95e48a8fb2b
parent: 62d2688579b8cb543ccae1952d8a44feff6839ec [diff]

chore: begin development cycle for v4.29.0 (#12169)

This PR bumps the version to 4.29.0 to begin the next development cycle
after v4.28.0-rc1.

🤖 Prepared with Claude Code

Co-authored-by: Claude Opus 4.5 <noreply@anthropic.com>

src/CMakeLists.txt[diff]

1 file changed

tree: 0c14c9b651401c3800677aa3cbcce95e48a8fb2b

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.