Supporting or Replacing Students' Reasoning? Cognitive Offloading in AI-Assisted Proof Learning
During the staggered period, 59 of 75 early-access students and 0 of 78 later-access students used the tools.
153students with grade and usage records (75 early access, 78 later access)