commit: 8bde8b9d87eef1eaf5f90a2116b6ebca0d69c6f0

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Tue Mar 05 00:00:03 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Mar 05 00:00:03 2024 +1100
tree: 8ab34149b43f069897b5fe436ae61cb5b6bb0995
parent: ee4f30c82fcac6e01daaa6f28909d2d03f139dce [diff]

chore: LEAN_VERSION_IS_RELEASE 1

src/CMakeLists.txt[diff]

1 file changed

tree: 8ab34149b43f069897b5fe436ae61cb5b6bb0995

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.