GitHub repository: utiasASRL/certifiable-tools
Primary language: Python
Description: A repo for building certifiable optimization tools