Sostactic
polynomial inequalities using sums-of-squares in Lean. Proving polynomial inequalities with sum-of-squares certificates. Current support for nonlinear inequalities in Lean is quite limited.
Open source
Reactions (1)
Similar products
by description similarity
Rewriting Principia Mathematica in Lean
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
Samosa
samosa-math.vercel.appLinter for Math Derivations
OneSparse
github.comOpen Source Accelerated Sparse Linear Algebra for Postgres
val
github.comAn arbitrary precision calculator language