GitHub repository: JasonGross/coq-tools
Primary language: Python
Description: Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.