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://steedaes.shop/product-category/gift-card/