MoL-2024-13: Hannah Van Santvliet Parameterizing the Notion of Automatability in Proof Complexity 1.Full Text, 2.Abstract. < Back