commit: 63e0210d0d2bf586fbcb1ef850573124230f5301

[log]
author: Johan Commelin <johan@commelin.net>

Tue Feb 04 06:28:27 2025 +0100
committer: Johan Commelin <johan@commelin.net>

Tue Feb 04 06:28:27 2025 +0100
tree: da8f6579cda08cee45af2da4cc538d63000f97cd
parent: cd722567ed6eecfb3ae8cc63f955a18d9bc4bac5 [diff]

chore: begin development cycle for v4.18.0

src/CMakeLists.txt[diff]

1 file changed

tree: da8f6579cda08cee45af2da4cc538d63000f97cd

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 (documentation source: doc/make/index.md).