Symmetric Proofs in the Ideal Proof System

Oxford Proof Complexity Workshop 2025

References