Coq-Polyhedra
Results
1
repositories owned by
Coq-Polyhedra
trafficstars
Coq-Polyhedra
21
Stars
4
Forks
Watchers
Formalizing convex polyhedra in Coq
