remnient / liveness
git clone https://github.com/remnient/liveness.git
Verified dead store elimination in Lean 4 with a proved terminating liveness fixed point
+5
stars, 24h · #6,177
+~35
stars, 7 days · #5,804
+34
stars, 30 days · #18,154
34
★ total · +35% this week
2
forks · 0 open issues
Star history (as recorded here)
LanguageLean
License—
Created2026-10-15 (9d ago)
Last push8d ago
OwnerUser
Links
README
Loading README…