Coq unit testing

CUT

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

Last version: cut.2.5.zip

Former versions: cut.2.4.tar.gz, cut.2.3.tar.gz, cut.2.2.tar.gz, cut.2.1.tar.gz, cut.2.0.tar.gz, cut.1.0.tar.gz