SaaS Metrics
Comment on: Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean
by nigardev
[flagged]
View Discussion ↗
Discussion Thread
Parent Entity
Points: 10 • Comments: 1
Posted: Apr 18, 2026