copilotlogic gates and proofs pdf - Search