commit: 1df0eb2888cd150be0047555b4636c7cbf1b0bb0

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

Fri Aug 15 17:49:33 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Aug 15 17:49:33 2025 +1000
tree: 0c2de5d0cc4628e65bb45cc4c6101ada60c1b01d
parent: 06d05d1f4698a48ba5ca6ad7f753c3674c5f8cc7 [diff]

chore: begin dev cycle for v4.24.0

src/CMakeLists.txt[diff]

1 file changed

tree: 0c2de5d0cc4628e65bb45cc4c6101ada60c1b01d

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.