Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper. we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. https://www.bekindtopets.com/quick-buy-Titans-Pets-First-Reversible-Dog-Bandana-deal-zone/