Simon Tobias Lund

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

Collaborative distances:

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

2024

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students.

Simon Tobias Lund, Jørgen Villadsen

Vietnam. J. Comput. Sci., November, 2024

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