Boyd, Vandenberghe "Convex Optimization" This repository is an attempt to formalise in Lean the solutions of exercises in Boyd, Vandenberghe "Convex Optimisation". Some of solutions to the exercises are available here.