P
Initializing...
Bounded-depth Frege systems $F_d$: formulas, proofs, size, separation · Prove2Me