commit: 57d647485f37e3285424692150a99201c5a946d9

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

Tue Jul 01 10:26:13 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jul 01 10:26:13 2025 +1000
tree: 427eae8729050b0d34724b35ffd59b2c91f08983
parent: 52ab0141cd0fbb9696981e09f67db587a76dfb78 [diff]

chore: begin development cycle for v4.23.0

src/CMakeLists.txt[diff]

1 file changed

tree: 427eae8729050b0d34724b35ffd59b2c91f08983

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.