A Symbolic Model of Proof Acquisition in ACT-R. DUURJ [Internet]. 2026 May 22 [cited 2026 May 22];7(1). Available from: https://duurjportal.com/index.php/duurj/article/view/263