Reference:
Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
Jørgen Villadsen (Technical University of Denmark)
Abstract: MiniCalc is a web app for teaching first-order logic based on a minimal sequent calculus. As an option the proofs can be verified in the Isabelle proof assistant. We present the lessons learned using the tool in recent years at our university.
In Julien Narboux, Walther Neuper and Pedro Quaresma:
Proceedings of the 13th International Workshop on Theorem Proving Components for Educational Software (ThEdu 2024),
Nancy, France, 1-2 July 2024.
Electronic Proceedings in Theoretical Computer Science, volume 419, pp. 75-89.
Published 25 May 2025
https://eptcs.org/paper.cgi?ThEdu24.5
ArXiv:
https://dx.doi.org/10.4204/EPTCS.419.5