"""ProofPrint core package."""