Coq unit testing

CUT

 A library for Coq unit testing (proof of concept).

Last version: cut.2.0.tar.gz

Former version: cut.1.0.tar.gz