research
∙
08/14/2023
ProofBuddy: A Proof Assistant for Learning and Monitoring
Proof competence, i.e. the ability to write and check (mathematical) pro...
share
research
∙
03/10/2023
On Exams with the Isabelle Proof Assistant
We present an approach for testing student learning outcomes in a course...
research
∙
07/26/2022
Teaching Functional Programmers Logic and Metatheory
We present a novel approach for teaching logic and the metatheory of log...
research
∙
04/08/2022
