GitHub - scidonia/leanin: A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.
github.com
A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs. - scidonia/leanin