Proof complexity is the field aiming to understand and analyse the computational resources that are required to prove or refute statements.
Proof complexity is the field aiming to understand and analyse the computational resources that are required to prove or refute statements.