commit: 310d8fd15da63a9a2e662a5270bc04ba56de63a5

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

Wed Sep 27 09:28:50 2023 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Sep 27 09:28:50 2023 +0200
tree: 57381ea106f960f2bad8baf3af6e92bf8efbd2b5
parent: ae470e038eebb1b96d3bedbe78c2cd3b3a33503b [diff]

fix: default for `MACOSX_DEPLOYMENT_TARGET`

src/Leanc.lean[diff]

1 file changed

tree: 57381ea106f960f2bad8baf3af6e92bf8efbd2b5

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.