Prove Prove provides the macros prove and batch to write simple tests shorter. For usage and examples, see the documentation.