15 citations · 93 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 5 cited
ProofBuddy: A Proof Assistant for Learning and Monitoring
Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken +2
Proof competence, i.e. the ability to write and check (mathematical) proofs, is an important skill in Computer Science, but for many students it represents a difficult challenge. T…
cs.LO2023★ 7 cited
On Exams with the Isabelle Proof Assistant
Frederik Krogsdal Jacobsen, Jørgen Villadsen
We present an approach for testing student learning outcomes in a course on automated reasoning using the Isabelle proof assistant. The approach allows us to test both general unde…