Coq Polyhedra:在Coq中将凸多面体形式化 源码

Coq-Polyhedra 在Coq中将凸多面体形式化 安装 先决条件 (> = 8.9, opam switch -A $OVERSION coq-polyhedra 其中$ OVERSION是有效的OCaml版本(例如4.07.1) 添加Coq存储库: $> opam repo add coq-released https://coq.inria.fr/opam/released $> opam repo add coq-core-dev https://co