9 citations · 22 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
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…
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL
Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen
We describe SeCaV, a sequent calculus verifier for first-order logic in Isabelle/HOL, and the SeCaV Unshortener, an online tool that expands succinct derivations into the full SeCa…