Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
arXiv:2505.05988 · doi:10.4204/EPTCS.419.5
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 Proceedings ThEdu24, arXiv:2505.04677