Coq-Polyhedra

Coq-Polyhedra

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
11 Stars
3 Forks
11 Watchers

Repositories (1)

Coq-Polyhedra Coq-Polyhedra/Coq-Polyhedra Coq

Formalizing convex polyhedra in Coq

11