Frederik Krogsdal Jacobsen

Orcid: 0000-0003-3651-8314

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL.
J. Autom. Reason., September, 2024


2023
ProofBuddy: A Proof Assistant for Learning and Monitoring.
Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

2022
On Exams with the Isabelle Proof Assistant.
Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022

Teaching Functional Programmers Logic and Metatheory.
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.
Arch. Formal Proofs, 2022

2021
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL.
Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Using Isabelle in Two Courses on Logic and Automated Reasoning.
Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021


  Loading...