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). Retrieved from https://tidsskrift.dk/IUSTL/article/view/137992