2026. A Symbolic Model of Proof Acquisition in ACT-R. University of Denver Undergraduate Research Journal. 7, 1 (May 2026).