commit: 6fdc9a4f85a02a2aaa2968e71b0344ace1ee755e

[log]
author: Wojciech Nawrocki <wjnawrocki@protonmail.com>

Sat Dec 16 17:07:29 2023 +0100
committer: GitHub <noreply@github.com>

Sat Dec 16 17:07:29 2023 +0100
tree: 989eb9a42fe7f54e7be5396f02fbbe48650173b0
parent: 4497aba1a985619023adf0e1c655e769b12735e7 [diff]

fix: pass CMAKE_C/CXX_COMPILER to all stages

CMakeLists.txt[diff]

1 file changed

tree: 989eb9a42fe7f54e7be5396f02fbbe48650173b0

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.