Prove

Prove provides the macros prove and batch to write simple tests shorter.

For usage and examples, see the documentation.