https://pypi.org/project/omnibias-sos/ Recent updates to the Python Package Index for omnibias-sos en https://pypi.org/project/omnibias-sos/0.1.0a2/ Certified universal positivity by optimization: sound Sum-of-Squares / Positivstellensatz decompositions. A floating-point SDP proposes a Gram matrix; the proof is a rigorous interval LDL^T positive-definiteness certificate that reuses omnibias.core.verified and the Mathlib-free Lean kernel obligation, so certificates can earn theorem_prover_verified. vardan@derivon.ai Sun, 04 Oct 2026 16:16:29 GMT