commit: 738105eda23650f1eb9d999c239a34f23b8fa453

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

Thu Sep 12 14:12:37 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Sep 12 14:53:12 2024 +1000
tree: 7499c405ffdb7acc7cf14c42f153a753e84531f6
parent: b175cdd5a9d47cec388a17d7372c82005b802efe [diff]

chore: reenable Lake

src/CMakeLists.txt[diff]

1 file changed

tree: 7499c405ffdb7acc7cf14c42f153a753e84531f6

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