CvxLean icon indicating copy to clipboard operation
CvxLean copied to clipboard

Published 20 hours ago • verified publisher icon verified-optimization
→

Metadata

Convex optimization modeling in Lean 4

Results 0 CvxLean issues
Sort by recently updated
recently updated
newest added

← Metadata

27
Stars
3
Forks
Watchers

Owner

verified publisher icon verified-optimization

Metadata

Convex optimization modeling in Lean 4

Back