https://github.com/seasawher/cot
WIP: work in progress
https://github.com/seasawher/cot
convex-optimization formal-proofs lean lean4
Last synced: 9 months ago
JSON representation
WIP: work in progress
- Host: GitHub
- URL: https://github.com/seasawher/cot
- Owner: Seasawher
- Created: 2024-03-04T17:23:55.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-03-04T17:24:03.000Z (over 2 years ago)
- Last Synced: 2025-10-10T13:38:55.885Z (9 months ago)
- Topics: convex-optimization, formal-proofs, lean, lean4
- Language: Lean
- Homepage:
- Size: 3.91 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Boyd, Vandenberghe "Convex Optimization"
This repository is an attempt to formalise in Lean the solutions of exercises in [Boyd, Vandenberghe "Convex Optimisation"](https://web.stanford.edu/~boyd/cvxbook/).
Some of solutions to the exercises are available [here](https://see.stanford.edu/Course/EE364A).