3 Forks
11 Stars
11 Watchers

Coq-Polyhedra

Formalizing convex polyhedra in Coq

How to download and setup Coq-Polyhedra

Open terminal and run command
git clone https://github.com/Coq-Polyhedra/Coq-Polyhedra.git
git clone is used to create a copy or clone of Coq-Polyhedra repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with Coq-Polyhedra https://github.com/Coq-Polyhedra/Coq-Polyhedra/archive/master.zip

Or simply clone Coq-Polyhedra with SSH
[email protected]:Coq-Polyhedra/Coq-Polyhedra.git

If you have some problems with Coq-Polyhedra

You may open issue on Coq-Polyhedra support forum (system) here: https://github.com/Coq-Polyhedra/Coq-Polyhedra/issues

Similar to Coq-Polyhedra repositories

Here you may see Coq-Polyhedra alternatives and analogs

 svgo    osprey    laravel-compile-views    chillout    MTuner    game-programming-patterns    prepack    closure-compiler    llvm    clean-css    simplify    imagemin    webpackmonitor    reactopt    BayesianOptimization    nnvm    webdnn    easyengine    gosl    soot    scikit-optimize    DietPi    faster    optaplanner    search-engine-optimization    react-ssr-optimization    opticss    wheels    owl    meshoptimizer