Frederik Krogsdal Jacobsen

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

Collaborative distances:

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

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

Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL.

Asta Halkjær From, Frederik Krogsdal Jacobsen

Proceedings of the 13th International Conference on Interactive Theorem Proving, 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