No results found

CvxLean

Convex optimization modeling in Lean 4
#convex-optimization #formal-verification #interactive-theorem-proving
Displaying 1-7 of 7 dependencies of CvxLean
Sort by

  1. std
    3025cb1

  2. Qq
    64365c6

  3. aesop
    0a21a48

  4. proofwidgets
    fe1eff5

  5. Cli
    a115660

  6. importGraph
    188eb34

  7. mathlib
    efad919