Frederik Krogsdal Jacobsen

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Sequent Calculus

Top Venues

Publications

Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
The Concurrent Calculi Formalisation Benchmark. COORDINATION (2024)
Asta Halkjær From, Frederik Krogsdal Jacobsen
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL. J. Autom. Reason. 68 (3) (2024)
Frederik Krogsdal Jacobsen, Jørgen Villadsen
On Exams with the Isabelle Proof Assistant. CoRR (2023)
Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen
ProofBuddy: A Proof Assistant for Learning and Monitoring. CoRR (2023)
Frederik Krogsdal Jacobsen, Jørgen Villadsen
Teaching Functional Programmers Logic and Metatheory. TFPIE (2022)
Asta Halkjær From, Frederik Krogsdal Jacobsen
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL. ITP (2022)
Asta Halkjær From, Frederik Krogsdal Jacobsen
A Sequent Calculus Prover for First-Order Logic with Functions. Arch. Formal Proofs 2022 (2022)
Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. LSFA (2021)
Jørgen Villadsen, Frederik Krogsdal Jacobsen
Using Isabelle in Two Courses on Logic and Automated Reasoning. FMTea (2021)