verified-optimization / CvxLeanLinks

Convex optimization modeling in Lean 4
46Updated last year

Alternatives and similar repositories for CvxLean

Users that are interested in CvxLean are comparing it to the libraries listed below

Sorting: