commit: 8874cf3866aabd4c6a006ea48e8831dca8942079

[log]
author: Anne C.A. Baanen <vierkantor@vierkantor.com>

Thu Jun 05 15:00:52 2025 +0200
committer: Anne C.A. Baanen <vierkantor@vierkantor.com>

Thu Jun 05 15:00:52 2025 +0200
tree: 465f3498cdc15ed93415311fc071addddccffc0d
parent: ebf5fbd294b379dcaf4a7a6da0a6934b035e61d4 [diff]

chore: begin development cycle for v4.22.0

src/CMakeLists.txt[diff]

1 file changed

tree: 465f3498cdc15ed93415311fc071addddccffc0d

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.