Lean and Julia

Community Teaching & Outreach
,
8

I came across a potentially interesting intersection between Lean (CvxLean) and Julia: State of DCP (Disciplined Convex Programming) - #15 by langestefan

Could this be worth pursuing?

1 Like