Bock Axelsen, H. 2023. Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates. Improving University Science Teaching and Learning. 7, 1-2 (jun. 2023).