« Back
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean
github.com
Submitted by mmaaz 4 hours ago