GitHub repository: JasonGross/coq-scripts
Primary language: Coq
Description: Various useful scripts for dealing with Coq files