commit: 7f116f1dbeff7a5cfb0278d0073afc8237aa69d0

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

Mon May 12 14:44:37 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon May 12 14:44:37 2025 +1000
tree: 8c66a0c5a4a7be8c8bde1c4b6bb59857ead1129f
parent: 33aaabaed7adf810adcc35e2535cc7eff991d7b8 [diff]

chore: begin development cycle for v4.21.0

src/CMakeLists.txt[diff]

1 file changed

tree: 8c66a0c5a4a7be8c8bde1c4b6bb59857ead1129f

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).