Proof assistants for undergraduate mathematics education: elements of an a priori analysis

Published in: International Journal of Mathematical Education in Science and Technology

DOI: 10.1080/0020739x.2026.2632264