GitHub repository: JetBrains/ot-coq
Primary language: Coq
Created: 2015-01-15T22:18:25Z
Description: ot-coq