c-hd-proof
c-hd-proof is C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20) - spicylemonade/c-hd-proof. It is ranked #754 on the Dev Radar, in Other, first seen 1 h ago and shared in 1 post (630 views).
GitHub - spicylemonade/c-hd-proof: C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20) · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} spicylemonade / c-hd-proof Public Notifications You must be signed in to change notification settings Fork 1 Star 12 main Branches Tags Go to file…
What people said about c-hd-proof on X
10 Claude Opus 5.5 agents find a faster exact shortest-path algorithm and prove it. shipped C-HD: a shortest-path algorithm with a Lean proof that it beats published bounds in a certified density range. On graphs where m≈nlog3/4nm \approx n\log^{3/4}nm≈nlog3/4n, the certified bound improves Dijkstra’s…
— @0x0SojalSec, 1 h ago · 4 likes · see the post
Alternatives to c-hd-proof
- Spark-X2.5 — Model Scope
- qwen-image-2.1 — Qwen's most powerful open-source image generation model - QwenLM/Qwen-Image-2.1
- mimo-v2.6-flash-rl — We’re on a journey to advance and democratize artificial intelligence through open source and open science.
- openai.com —
- glm-5.3-flash-exl3-2x-dgx-sparks — GLM-5.3 Flash EXL3 for 2-4x DGX Sparks. Contribute to MiaAI-Lab/GLM-5.3-Flash-EXL3-2x-DGX-Sparks development by…
- Omarchy — Thrilled to announce @alibaba_cloud as a Founding Corporate Patron for the Omacom Foundation! $3 million in funding,…
c-hd-proof in numbers
- Rank on the Dev Radar: #754 of 2468
- Shared in 1 post by 1 account: @0x0SojalSec
- 630 views on those posts
- First seen 1 h ago, last shared 1 h ago
- Pricing seen by Jev: open source
- Market: Other
FAQ
What is c-hd-proof?
C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20) - spicylemonade/c-hd-proof It was first shared on X 1 h ago and is ranked #754 on the Dev Radar.
Is c-hd-proof free?
It is open source.
Who shared c-hd-proof?
1 account on X, including @0x0SojalSec, in 1 post totalling 630 views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 21.6k posts from 5k X accounts over the last 21 days, 2.5k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-22 23:54 UTC. Full method.