English Proof complexity Cited by user Headbomb on 06 Jul 2020 In theoretical computer science, and specifically computational complexity theory, proof complexity is the field aiming to understand and analyse the computational…