https://yestino.com/entities/a-tokio-inspired-381353Every event involving A Tokio-inspiredenhttps://yestino.com/events/leanin-a-tokio-inspired-concurrency-library-for-lean-4-with-e17ffbhttps://yestino.com/events/leanin-a-tokio-inspired-concurrency-library-for-lean-4-with-e17ffbTue, 20 Oct 2026 23:04:37 GMTA Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs. Sources: Lobsters