commit: 6313f22b1e7b03bfc30a86f8332c06e583964b93

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Wed Dec 17 19:28:01 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Fri Jan 09 20:01:19 2026 -0300
tree: 38652189860603e6436f730aeb2a677256c0a076
parent: 5bb7f37645c1bcd822993543b32b95c78107b33a [diff]

feat: future

src/Std/Sync.lean[diff]
src/Std/Sync/Future.lean[Added - diff]
tests/lean/run/sync_future.lean[Added - diff]

3 files changed

tree: 38652189860603e6436f730aeb2a677256c0a076

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.