Projects in Awesome Lists by verified-optimization
A curated list of projects in awesome lists by verified-optimization .
https://github.com/verified-optimization/CvxLean
Convex optimization modeling in Lean 4
convex-optimization formal-verification interactive-theorem-proving lean4
Last synced: 22 Jul 2025