article
Open access
Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
Research footprint
At a glance
- Citations
- 1
- References
- 20
- Comments
- 0
Paper overview
Öz
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.
Record transparency
Publication details
- DOI
- 10.4204/eptcs.419.5
- OpenAlex
- W4410164468
- Document type
- article
- Language
- EN
- Source
- Electronic Proceedings in Theoretical Computer Science
- Last metadata update
Comments
Oturum Açın to join the discussion.