commit: 26611b153b79190193bc5de061dbda093c257400

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

Thu Feb 27 09:14:09 2025 +0100
committer: GitHub <noreply@github.com>

Thu Feb 27 09:14:09 2025 +0100
tree: 655b3eb15e651074274733c47228c09df0417cd5
parent: 727c696d9f132bc2701b9755f8819bd36335cd26 [diff]

chore: temporarily disable Elab.async in the server

src/Lean/Server/FileWorker.lean[diff]

1 file changed

tree: 655b3eb15e651074274733c47228c09df0417cd5

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