New CTAN package: proof