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, bd. 7, nr. 1-2, juni 2023, https://tidsskrift.dk/IUSTL/article/view/137992.