Redirecting to Proof checking