go Trouble with extremely basic Isabelle/ISAR proofs 英文: Trouble with extremely basic Isabelle/ISAR proofs 问题 我正在学习Isabelle/ISAR,我想尝试一些基本的逻辑证明。我遇到的核心问题是,... 2023年5月18日58评论isabelle isar