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.ivoryjinelle.com/limited-deal-University-of-California-Santa-Barbara-UCSB-Gauchos-Blue-Nintendo-Skins-p50420-hot-buy/