spicylemonade/c-hd-proof
C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20)
GitHub repository with 41 stars and 3 forks.
Language: Lean
24h trend summary
Trending score 0.08, freshness score 0.60, stars gained not enough history, forks gained not enough history.
Latest metric snapshot
2026-09-24: 41 stars and 3 forks.