Geeks
math-comp
/
cad
Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp
Primary Language
Coq
cad GitHub
Markdown
Readme
0
Issues
1
Stargazer
8
Watchers
cad
Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp