GitHub repository: CoqHott/DICoq
Primary language: Coq
Created: 2016-05-26T09:09:17Z
Description: Dependent Interoperability for Coq