commit: 5b0741933fed0d988d97ba1ba85f39b75d5b0ee7

[log]
author: Marc Huisinga <mhuisi@protonmail.com>

Tue Dec 05 11:18:34 2023 +0100
committer: GitHub <noreply@github.com>

Tue Dec 05 11:18:34 2023 +0100
tree: 27cc281b8e01073864928a4a8636c50c5b768703
parent: 8a6c4ecaf814c3f00e7c7ede46ac9acd9f5d5db0 [diff]

doc: remove `moreServerOptions` example

RELEASES.md[diff]

1 file changed

tree: 27cc281b8e01073864928a4a8636c50c5b768703

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.