GitHub repository: nagaaym/hulls
Primary language: Coq
Created: 2015-01-20T15:58:54Z
Description: Hulls