Coq Practice

My Coq trial.

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