coq-scripts

Various useful scripts for dealing with Coq files

Name		Name	Last commit message	Last commit date
Latest commit History 268 Commits
compatibility		compatibility
depgraphs/library		depgraphs/library
formatting		formatting
github		github
timing		timing
.gitattributes		.gitattributes
.gitignore		.gitignore
LICENSE		LICENSE
Makefile.clean_unmade		Makefile.clean_unmade
Makefile.coq.common		Makefile.coq.common
Makefile.vo_closure		Makefile.vo_closure
README.md		README.md
pushd-root.sh		pushd-root.sh
strictify-coqdep.py		strictify-coqdep.py

Provide feedback