Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean
AI Summary·ClearWire News
2h ago
1 min read
0 views
Share
AI-Generated Summary
This summary was written by ClearWire's AI in a strictly neutral, unbiased tone. It presents only verifiable facts from the original source. Always read the original article for full context.
Summary not yet available for this article.
Found this article useful? Share it:
Share
Source Attribution
Github.com
By mmaaz
Originally published: April 18, 2026
Original headline: "Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean"