紫色的伊莎贝尔证明有效吗？
Are purple colored Isabelle proofs valid?
我有一份由 Sledgehammer 获得的 Metis 证明，以紫色突出显示。它被突出显示到底意味着什么？证明似乎有效；是真的吗？
紫色表示metis调用还在运行。可能的结果有以下三种：
- metis 完成：证明有效（无背景）；
- metis 失败：证明无效（红色背景）；
- metis 不终止：证明无效（紫色背景永远存在）。
Isabelle 是多线程的，只有当所有之前的策略都完成后你才安全。
您决定等待的时间由您决定，但超过几秒钟通常意味着您必须重新运行 Sledgehammer...
我有一份由 Sledgehammer 获得的 Metis 证明，以紫色突出显示。它被突出显示到底意味着什么？证明似乎有效；是真的吗？
紫色表示metis调用还在运行。可能的结果有以下三种：
- metis 完成：证明有效（无背景）；
- metis 失败：证明无效（红色背景）；
- metis 不终止：证明无效（紫色背景永远存在）。
Isabelle 是多线程的，只有当所有之前的策略都完成后你才安全。
您决定等待的时间由您决定，但超过几秒钟通常意味着您必须重新运行 Sledgehammer...