mlsanityData to 14 Oct 2026

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

arXiv 2505.05988 ↗First posted 9 May 2025cs.LO cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

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.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 6 of its 26 references that are in the map. First posted on arXiv 9 May 2025.

Builds on

6 of 26 references.

References · 6

  1. 2022SeCaV: A Sequent Calculus Verifier in Isabelle/HOLcited by 4
  2. 2019Natural Deduction Assistant (NaDeA)cited by 3
  3. 2020Isabelle/HOL as a Meta-Language for Teaching Logiccited by 3
  4. 2018The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofscited by 1
  5. 2018Carnap: An Open Framework for Formal Reasoning in the Browsercited by 1
  6. 2020A Mobile Application for Self-Guided Study of Formal Reasoningcited by 1

Built on by

Not cited yet.