BOCK AXELSEN, H. 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: 20 may. 2024.