commit: a8a89c95f59eee3505179a08c351aae4a75126ea

[log]
author: Kim Morrison <kim@tqft.net>

Mon Sep 09 20:46:44 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Sep 10 15:07:12 2024 +1000
tree: 6f6ac6191cf0f113707bdc27f04bc9f80dd4e789
parent: 0c2499c188fe110e7e5fc5a40d0d7fbcbc5e8520 [diff]

chore: restore Lake build

src/CMakeLists.txt[diff]

1 file changed

tree: 6f6ac6191cf0f113707bdc27f04bc9f80dd4e789

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