Compiling

run

coqc -Q . LF Filename.v

To compile all *.v files, run make