commit: dcb14f241d5924620492845483ed50ca8bc657d0

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

Thu Feb 22 12:27:18 2024 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu Feb 22 12:27:18 2024 +0100
tree: 23933ed7d7e328e6c3e920b232e8f532a02c2a8b
parent: ae2a024ce832fff6e108f87614a78427d9ffdcbc [diff]

Remove broken Lake special case

2 files changed

tree: 23933ed7d7e328e6c3e920b232e8f532a02c2a8b

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.