verified-optimizationCvxLean

Convex optimization modeling in Lean 4
#convex-optimization #formal-verification #interactive-theorem-proving
Displaying 1-1 of 1 versions of CvxLean
Sort by
  1. Not a part of any version track.
    c62c2f2
    a year ago
    Released on May 20, 2024 at 3:01:43PM
    Commit c62c2f2 fails to build on leanprover/lean4:v4.8.0-rc1
    v4.8.0-rc1