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