Hacker News
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean
12 points
by
mmaaz