DevLobstersabout 1 hour ago
LeanIn Concurrency Library Launches for Lean 4
7 min read
Developers release LeanIn, a Tokio-inspired concurrency library for Lean 4 featuring a work-stealing scheduler. Benchmarks on commit 554e3b0 show host load rising from 2.5 to 8.1 during the run. The project uses the lake build tool and requires Lean version 4.35 for its weakest-precondition framework proofs.
Level
Hype check
Tap to vote and see what everyone thinks.