Bock Axelsen, Holger. “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, no. 1-2 (June 19, 2023). Accessed December 6, 2025. https://tidsskrift.dk/IUSTL/article/view/137992.