No results found

CvxLean

Convex optimization modeling in Lean 4
#convex-optimization #formal-verification #interactive-theorem-proving
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibefad919

    The math library of Lean 4