This paper is devoted to the design, description and validation of the Android application TEAtreves, which focuses on structured arithmetic problem-solving for students with autism spectrum disorder (ASD). The application contains multiple adaptations to make it suitable for users with ASD. Validation was carried out with five students with ASD, obtaining positive results which confirm the strength of TEAtreves app for users with ASD. Results and future lines of work are discussed.