GitHub repository: validsdp/validsdp
Primary language: Coq
Created: 2018-04-01T12:39:08Z
Description: A Coq tactic for proving multivariate inequalities using SDP solvers