Bock Axelsen H. Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates. IUSTL [Internet]. 2023 Jun. 19 [cited 2025 Dec. 6];7(1-2). Available from: https://tidsskrift.dk/IUSTL/article/view/137992