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

摘要按规则整理自下方来源原文

来源