# Frederik Krogsdal Jacobsen

Orcid: 0000-0003-3651-8314
According to our database

Collaborative distances:

^{1}, Frederik Krogsdal Jacobsen authored at least 8 papers between 2021 and 2024.Collaborative distances:

## 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

Proceedings of the Coordination Models and Languages, 2024

2023

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

2022

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

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

Arch. Formal Proofs, 2022

2021

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

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