sos0.1.0
A Lean 4 sum-of-squares tactic for nonlinear real arithmetic.
1-18 of 18 versions of sos
Sort by
Date
- 0.1
0.1.0v4.33.16.0 MB - 0.2
0.2.4v0.2.4v4.34.0-rc1 - 0.2
0.2.3v0.2.3v4.34.0-rc1 - 0.2
0.2.2v0.2.2v4.33.0-rc1 - 0.2
0.2.1v0.2.1v4.33.0-rc1 - 0.2
0.2.1v0.2.1-mathlib-rc1v4.33.0-rc1 - 0.2
0.2.0v0.2.0v4.33.0-rc1 - 0.2
0.2.0v0.2.0-mathlib-rc10v4.33.0-rc1 - 0.2
0.2.0v0.2.0-mathlib-rc9v4.33.0-rc1 - 0.2
0.2.0v0.2.0-mathlib-rc8v4.33.0-rc1 - 0.2
0.2.0v0.2.0-mathlib-rc7v4.33.0-rc1 - 0.2
0.2.0v0.2.0-mathlib-rc6v4.33.0-rc1 - 0.2
0.2.0v0.2.0-mathlib-rc5v4.33.0-rc1 - 0.2
0.2.0v0.2.0-mathlib-rc4v4.33.0-rc1 - 0.2
0.2.0v0.2.0-mathlib-rc3v4.33.0-rc1 - 0.2
0.2.0v0.2.0-mathlib-rc2v4.33.0-rc1 - 0.2
0.2.0v0.2.0-mathlib-rc1v4.33.0-rc1 - 0.1
0.1.0v0.1.0v4.29.1