In this work, a rigorous numerical study of the Chua\'s circuit double-hook attractor is carried out. The existence of a trapping region enclosing the double-hook attractor is proved. It is also proved that the double-hook attractor is chaotic in the topological sense.