Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps. - Victor Linroth (CoRR, 2023)