Releases med Leeds Proof Theory Programme