verified-optimization

Results 1 repositories owned by verified-optimization

CvxLean

27
Stars
3
Forks
Watchers

Convex optimization modeling in Lean 4

verified publisher icon verified-optimization