coq-scripts
June 5, 2014
ยท
View on GitHub
Various useful scripts for dealing with Coq files