Bock Axelsen, H. Use of a Proof Assistant As a Learning Tool in an Introductory Logic Course for Computer Science Undergraduates. IUSTL 2023, 7.