Jørgen Villadsen

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned

2025 · Electronic Proceedings in Theoretical Computer Science

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 …