ProofPowerContrib is a set of examples, tools and other things that may be of interest to users of OpenProofPower