ProofStream on Arc