Simon Tobias Lund

According to our database, Simon Tobias Lund authored at least 3 papers between 2021 and 2023.

Collaborative distances:

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

2023

Teaching Higher-Order Logic Using Isabelle.

Simon Tobias Lund, Jørgen Villadsen

Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023

2022

On Verified Automated Reasoning in Propositional Logic.

Simon Tobias Lund, Jørgen Villadsen

Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022

2021

A Case Study in Computer-Assisted Meta-reasoning.

Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen

Proceedings of the Distributed Computing and Artificial Intelligence, 2021