commit: 07f39d40dc5f78ce394391d23a32609cf51e65bc

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

Fri Sep 12 15:40:47 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Wed Sep 24 00:02:41 2025 -0300
tree: 097b9a98037cc7345e98976cce2ca9251aeb3871
parent: 7b3b323525ef8ecd1949d12e2d0ede08cb68e0a3 [diff]

feat: add notify

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

2 files changed

tree: 097b9a98037cc7345e98976cce2ca9251aeb3871

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.