oftenjames / liveness

git clone https://github.com/oftenjames/liveness.git

Verified dead store elimination in Lean 4 with a proved terminating liveness fixed point

stars, 24h · #8,506

+~15

stars, 7 days · #12,639

+40

stars, 30 days · #17,900

★ total · +15% this week

forks · 0 open issues

2026-10-23 · 29 ★ 2026-10-28 · 40 ★

LanguageLean

License—

Created2026-10-15 (13d ago)

Last push12d ago

OwnerUser

Loading README…