1 2 3 4 5 6 7 8 9
#!/usr/bin/env bash . ../template/init.sh coq_makefile -f _CoqProject -o Makefile cat Makefile.conf make quick2vo J=2 test -f theories/test.vo make validate