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

 (github.com)

6 points | by mmaaz  5 hours ago

No comments yet.