Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
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.
J?rgen Villadsen
Technical University of Denmark
计算技术、计算机技术
J?rgen Villadsen.Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned[EB/OL].(2025-05-09)[2025-06-05].https://arxiv.org/abs/2505.05988.点此复制
评论