"""ProofRank source package."""