commit: 6729de0133f97fc84a615f89540e49fcd7938be3

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

Sat Aug 17 09:25:47 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Aug 20 13:11:41 2024 +0200
tree: aa954ed42e0b34ad5456dd43aa43e733e4b82283
parent: 5a2ee0f4d507069a9a2db238ce923c5ca8db812a [diff]

async env

src/Lean/CoreM.lean[diff]

1 file changed

tree: aa954ed42e0b34ad5456dd43aa43e733e4b82283

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