Tech article

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

Latest tech news from Hacker News on NeuralNews: Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean.

Hacker News | Apr 18, 2026 | mmaaz

Read the original article