CvxLean
CvxLean
copied to clipboard
Published
20 hours ago
•
verified-optimization
→
Metadata
Convex optimization modeling in Lean 4
Readme
Issues
←
Metadata
27
Stars
3
Forks
Watchers
Owner
verified-optimization
Metadata
Convex optimization modeling in Lean 4
Back