Awesome

coq-scripts

Various useful scripts for dealing with Coq files