commit: bb2954d8d73040f4d185b9b6b80ec1bc5d965990

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

Mon Sep 15 20:41:23 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Wed Sep 24 00:02:41 2025 -0300
tree: 2ef513eac951691176da6307d9592ef6a2a7e67c
parent: 07f39d40dc5f78ce394391d23a32609cf51e65bc [diff]

fix: remove async from notify and test

src/Std/Sync/Notify.lean[diff]
tests/lean/run/sync_notify.lean[Added - diff]

2 files changed

tree: 2ef513eac951691176da6307d9592ef6a2a7e67c

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.