BOCK AXELSEN, Holger. Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates. Improving University Science Teaching and Learning, [S. l.], v. 7, n. 1-2, 2023. Disponível em: https://tidsskrift.dk/IUSTL/article/view/137992. Acesso em: 6 dec. 2025.