Bock Axelsen, Holger. 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). https://tidsskrift.dk/IUSTL/article/view/137992.