A Symbolic Model of Proof Acquisition in ACT-R. DUURJ. 2026;7(1). Accessed May 22, 2026. https://www.duurjportal.com/index.php/duurj/article/view/263