Bock Axelsen H. Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates. IUSTL [Internet]. 19. juni 2023 [henvist 19. juli 2024];7(1-2). Tilgængelig hos: https://tidsskrift.dk/IUSTL/article/view/137992