isar

英文: Trouble with extremely basic Isabelle/ISAR proofs 问题 我正在学习Isabelle/ISAR，我想尝试一些基本的逻辑证明。我遇到的核心问题是，...