feat: add CvxLean (#26)

34j · Feb 9, 2024 · 0423fcb · 0423fcb
1 parent 6873b9d
commit 0423fcb
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/projects.yaml b/projects.yaml
@@ -100,6 +100,9 @@ projects:
   - name: lean-crypto
     category: package
     github_id: joehendrix/lean-crypto
+  - name: CvxLean
+    category: package
+    github_id: verified-optimization/CvxLean
   # tool
   - name: vscode-lean4
     github_id: leanprover/vscode-lean4