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.
| Original language | English |
|---|---|
| Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 419 |
| Pages (from-to) | 75-89 |
| ISSN | 2075-2180 |
| DOIs | |
| Publication status | Published - 2025 |
| Event | The 13th International Workshop on Theorem proving components for Educational software - Nancy, France Duration: 1 Jul 2024 → 6 Jul 2024 |
Conference
| Conference | The 13th International Workshop on Theorem proving components for Educational software |
|---|---|
| Country/Territory | France |
| City | Nancy |
| Period | 01/07/2024 → 06/07/2024 |