Coq unit testing

CUT

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

Last version: cut.2.1.tar.gz

Former versions: cut.2.0.tar.gzcut.1.0.tar.gz