GitHub repository: math-comp/cad
Primary language: Coq
Created: 2017-04-06T11:50:32Z
Description: Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp