GitHub repository: ryanorendorff/lc-2019-dependently-typed-convex-optimization
Primary language: JavaScript
Description: Dependently Typed Convex Optimiization