commit: 267506edaf01171cd052464edec6242676dcdbae

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

Mon May 05 11:23:54 2025 +0200
committer: GitHub <noreply@github.com>

Mon May 05 11:23:54 2025 +0200
tree: 0a46a247657929897e0a9a2bdb062304b7dc39ee
parent: 6a328968437b1db2ed339688e447214ef4f0ef8d [diff]

chore: link against system libc

script/prepare-llvm-linux.sh[diff]

1 file changed

tree: 0a46a247657929897e0a9a2bdb062304b7dc39ee

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).