Title: Quantum Proofs
Subjects: Quantum computers, Proof theory, Computational complexity