pp-contrib is a collection of contributed examples and tools for ProofPower users.