Frederik Krogsdal Jacobsen

According to our database, Frederik Krogsdal Jacobsen authored at least 8 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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., September, 2024

The Concurrent Calculi Formalisation Benchmark.

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

Proceedings of the Coordination Models and Languages, 2024

2023

ProofBuddy: A Proof Assistant for Learning and Monitoring.

Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen

Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

2022

On Exams with the Isabelle Proof Assistant.

Frederik Krogsdal Jacobsen, Jørgen Villadsen

Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022

Teaching Functional Programmers Logic and Metatheory.

Frederik Krogsdal Jacobsen, Jørgen Villadsen

Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022

A Sequent Calculus Prover for First-Order Logic with Functions.

Asta Halkjær From, Frederik Krogsdal Jacobsen

Arch. Formal Proofs, 2022

2021

SeCaV: A Sequent Calculus Verifier in Isabelle/HOL.

Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Using Isabelle in Two Courses on Logic and Automated Reasoning.

Jørgen Villadsen, Frederik Krogsdal Jacobsen

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021