We have proof automation nowBy zdw · 2026-07-26 · 22 points · 1 commentshttps://www.imperialviolet.org/2026/07/26/zstd-lean.htmlBy zdw · 22 points · 1 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews