GitHub repository: piyush-kurur/verse-coq
Primary language: Coq
Created: 2016-04-06T14:11:43Z
Description: This is the coq variant of verse