scidonia / leanin

git clone https://github.com/scidonia/leanin.git

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

stars, 24h · #25,609

+~4

stars, 7 days · #27,452

+30

stars, 30 days · #22,543

★ total · +4% this week

forks · 0 open issues

2026-10-27 · 29 ★ 2026-10-29 · 30 ★

LanguageLean

LicenseApache-2.0

Created2026-10-08 (21d ago)

Last push2d ago

OwnerOrganization

Loading README…