Abstract We take a tour of what is known about the complexity of Extended Frege Proofs. Attachment File Simons_Toni60_4_web.pdf Video Recording
