mmaaz-git/sostactic

Proving polynomial inequalities with sum-of-squares certificates

14 best points · 1 comments · 1 Hacker News post · 30 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (14 points, 1 comments, by mmaaz, 2026-04-18)