文件名称：Coq-Polyhedra:在Coq中将凸多面体形式化
文件大小：131KB
文件格式：ZIP
更新时间：2024-04-19 12:30:53
optimization coq theorem-proving simplex-algorithm polyhedra
Coq-Polyhedra 在Coq中将凸多面体形式化 安装 先决条件 （> = 8.9，<8 xss=removed xss=removed> 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
【文件预览】：
Coq-Polyhedra-master
----.gitignore(9B)
----Makefile(511B)
----_CoqProject(37B)
----.travis.yml(279B)
----LICENSE(21KB)
----scripts()
--------COPYRIGHT.meta.yaml(637B)
--------license(5KB)
----README.md(3KB)
----dune-project(43B)
----COPYRIGHT.yaml(432B)
----theories()
--------xfinmap.v(3KB)
--------vector_order.v(23KB)
--------barycenter.v(24KB)
--------simplex.v(64KB)
--------inner_product.v(10KB)
--------dune(241B)
--------polyhedron.v(87KB)
--------xorder.v(44KB)
--------hpolyhedron.v(26KB)
--------extra_misc.v(26KB)
--------extra_matrix.v(16KB)
--------row_submx.v(23KB)
--------poly_base.v(108KB)
----docker()
--------Dockerfile(1KB)
--------Makefile(303B)
--------sudo-ci(30B)