Coq Practice My Coq trial. To build, run coq_makefile -Q src/ Practice src/*.v -o Makefile (^ TODO: Is this still needed?) Then make.