Verified Optimization
Results
1
repositories owned by
Verified Optimization
CvxLean
27
Stars
3
Forks
Watchers
Convex optimization modeling in Lean 4
