Coq unit testing

CUT

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

With Catherine Dubois and Richard Genestier

First version: cut.1.0.tar.gz.