commit: 663c892337c924a8f112d7791eb87fc482e06ec3

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

Mon Aug 19 17:02:52 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Aug 20 13:11:41 2024 +0200
tree: 3d4c5309c28848ce25ef71ee77a7a5783d3cf347
parent: 6729de0133f97fc84a615f89540e49fcd7938be3 [diff]

asyncenv

12 files changed

tree: 3d4c5309c28848ce25ef71ee77a7a5783d3cf347

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