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

 (github.com)

6 points | by mmaaz 4 hours ago ago

No comments yet.