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, vol. 7, no. 1-2, June 2023, https://tidsskrift.dk/IUSTL/article/view/137992.