commit: 13f6857b99c9754d63e0aa606716498db711d090

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Thu Nov 30 13:06:10 2023 +0000
committer: GitHub <noreply@github.com>

Thu Nov 30 13:06:10 2023 +0000
tree: 625cb1e3bef7ae70274b9ef80ccb512fee828f3d
parent: 0ad611cf2ff01243c911e90740e627e028b60c87 [diff]

fix: find macOS system libraries in leanc

src/CMakeLists.txt[diff]

1 file changed

tree: 625cb1e3bef7ae70274b9ef80ccb512fee828f3d

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.