commit: ebc74b96e6bb92c0568bd89fee9c265a763f4f88

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

Tue May 12 15:16:12 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Tue May 12 15:16:47 2026 -0300
tree: 3f58e1183574d0b7cebbb33fc4fe8c2ac3e54508
parent: c04a83a2e5d5718032819f2d124f2c949fab292f [diff]

fix: timing issues and race conditions in ContextAsync.race

2 files changed

tree: 3f58e1183574d0b7cebbb33fc4fe8c2ac3e54508

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.