spicylemonade / c-hd-proof
git clone https://github.com/spicylemonade/c-hd-proof.git
C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20)
+0
stars, 24h · #35,417
+~0
stars, 7 days · #41,040
+~0
stars, 30 days · #44,668
64
★ total
5
forks · 1 open issues
Star history (as recorded here)
LanguageLean
License—
Created2026-09-21 (1mo ago)
Last push1mo ago
OwnerUser