GitHub repository: verified-optimization/CvxLean
Primary language: Lean
Description: Convex optimization modeling in Lean 4