leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs

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