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

原文：https://www.a8q9.cn/en/article/leanin-a-tokio-inspired-concurrency-library-for-lean-4-with-machine-checked-proo-b852dd.html