scidonia/leanin
A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.
GitHub repository with 29 stars and 1 forks.
Language: Lean
24h trend summary
Trending score 0.57, freshness score 0.00, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-02: 29 stars and 1 forks.