Skip to content

Draft: Prototype of CVXPY to CvxLean converter#43

Open
SteveDiamond wants to merge 13 commits into
verified-optimization:mainfrom
SteveDiamond:main
Open

Draft: Prototype of CVXPY to CvxLean converter#43
SteveDiamond wants to merge 13 commits into
verified-optimization:mainfrom
SteveDiamond:main

Improve CVXPY to CvxLean conversion with log-sum-exp and reshape hand…

9ab57e2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs