A Symbolic Model of Proof Acquisition in ACT-R. (2026). University of Denver Undergraduate Research Journal, 7(1). https://duurjportal.com/index.php/duurj/article/view/263