leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs
What happened
A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs. - scidonia/leanin
Summary assembled by rule from the sources below