GitHub repository: nhojem/Coq-Polyhedra
Primary language: Coq
Created: 2016-11-16T22:01:27Z
Description: Formalizing convex polyhedra in Coq