Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean from Hacker News on 2026-04-18 22:36 (#751NX) Comments
