要約
MINICALCは、最小限のシーケント計算に基づいて1次ロジックを教えるためのWebアプリです。
オプションとして、イザベルプルーフアシスタントで証明を検証できます。
近年、大学でツールを使用して学んだ教訓を紹介します。
要約(オリジナル)
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.
arxiv情報
| 著者 | Jørgen Villadsen |
| 発行日 | 2025-05-09 12:18:17+00:00 |
| arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google