commit: 532f9e14780f880eceace24f2b2fc195d19c7d89

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

Sun Apr 13 14:12:21 2025 +0200
committer: GitHub <noreply@github.com>

Sun Apr 13 14:12:21 2025 +0200
tree: 51bfc738636914b0b3bb7c0c1253237e8d20fac6
parent: 069456ea9ca3971dbff7d11b5389f1ceeaf996b9 [diff]

chore: fix cmake install exclude patterns

src/CMakeLists.txt[diff]

1 file changed

tree: 51bfc738636914b0b3bb7c0c1253237e8d20fac6

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