commit: 8c5bc02d116e207b028e90a778e884c66928156c

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

Wed Jan 08 10:45:32 2025 +0000
committer: GitHub <noreply@github.com>

Wed Jan 08 10:45:32 2025 +0000
tree: 854a5afb6c2c1517deaaafd1088107a5a395b632
parent: 00ef231a6e03398c2ad3b577ab036f901ec88543 [diff]

fix: set LLVM sysroot consistently

3 files changed

tree: 854a5afb6c2c1517deaaafd1088107a5a395b632

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 (documentation source: doc/make/index.md).