Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean

(github.com) by mmaaz | Apr 18, 2026 | 0 comments on HN