article
وصول مفتوح
Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
Research footprint
At a glance
- الاستشهادات
- 1
- المراجع
- 20
- Comments
- 0
Paper overview
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.
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
تسجيل الدخول للانضمام إلى النقاش.