Get the latest tech news

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

Proving polynomial inequalities with sum-of-squares certificates - mmaaz-git/sostactic

None

Related news:

Lean proved this program correct; then I found a bug

Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types

Prefix sums at gigabytes per second with ARM NEON