GitHub repository: uhub/awesome-coq
Created: 2015-08-21T03:29:02Z
Description: A curated list of awesome Coq frameworks, libraries and software.