Using Isabelle in Two Courses on Logic and Automated Reasoning. - Jørgen Villadsen; Frederik Krogsdal Jacobsen (FMTea, 2021)

SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. - Asta Halkjær From; Frederik Krogsdal Jacobsen; Jørgen Villadsen (LSFA, 2021)

A Sequent Calculus Prover for First-Order Logic with Functions. - Asta Halkjær From; Frederik Krogsdal Jacobsen (Arch. Formal Proofs, 2022)

Teaching Functional Programmers Logic and Metatheory. - Frederik Krogsdal Jacobsen; Jørgen Villadsen (TFPIE, 2022)

On Exams with the Isabelle Proof Assistant. - Frederik Krogsdal Jacobsen; Jørgen Villadsen (ThEdu@FLoC, 2022)

ProofBuddy: A Proof Assistant for Learning and Monitoring. - Nadine Karsten; Frederik Krogsdal Jacobsen; Kim Jana Eiken; Uwe Nestmann; Jørgen Villadsen (TFPIE, 2023)

The Concurrent Calculi Formalisation Benchmark. - Marco Carbone; David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Legesse Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon (COORDINATION, 2024)

Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL. - Asta Halkjær From; Frederik Krogsdal Jacobsen (J. Autom. Reason., 2024)