Advances in Proof Theory | lit.salon