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
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL
We describe SeCaV, a sequent calculus verifier for first-order logic in ...
research
∙
02/08/2022
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle
We describe a natural deduction formalization of intuitionistic and clas...
research
∙
10/30/2020
Isabelle/HOL as a Meta-Language for Teaching Logic
Proof assistants are important tools for teaching logic. We support this...
research
∙
06/11/2020
GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest
We provide a brief description of the GOAL-DTU system for the agent cont...
research
∙
02/28/2020
Teaching a Formalized Logical Calculus
Classical first-order logic is in many ways central to work in mathemati...
research
∙
04/01/2019
Natural Deduction Assistant (NaDeA)
We present the Natural Deduction Assistant (NaDeA) and discuss its advan...
research
∙
04/01/2019
Students' Proof Assistant (SPA)
The Students' Proof Assistant (SPA) aims to both teach how to use a proo...
research
∙
03/05/2018
Natural Deduction and the Isabelle Proof Assistant
We describe our Natural Deduction Assistant (NaDeA) and the interfaces b...
research
∙
07/25/2002
