commit: 04231f922a656c858fd58c2cb607e8cbcf318951

[log]
author: Anne Baanen <Vierkantor@users.noreply.github.com>

Mon Jun 23 15:16:33 2025 +0200
committer: GitHub <noreply@github.com>

Mon Jun 23 15:16:33 2025 +0200
tree: a6e2731ce184a238340a0030d7d9435914fbd94f
parent: bd4e8de207250a8fbdf66b626fed7d6882fb0b94 [diff]

Re-disable the Lake tests, now that they pass.

src/shell/CMakeLists.txt[diff]

1 file changed

tree: a6e2731ce184a238340a0030d7d9435914fbd94f

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.