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.diegojavierfares.com/best-catch-Blueberry-Extract-60-Veggie-Caps-must-buy/