VHarisop/Coq-Polyhedra

Formalizing convex polyhedra in Coq

Coq-Polyhedra

Formalizing convex polyhedra in Coq

Installation

Prerequisites

• Coq (≥ 8.5)
• The Mathematical Components library (≥ 1.6)

Compilation

./configure.sh && make

Authors

• Xavier Allamigeon (xavier.allamigeon@inria.fr)
• Ricardo D. Katz (katz@cifasis-conicet.gov.ar)