Isabelle 紫色的伊莎贝尔证明有效吗？
我有一个梅蒂斯证据，是用大锤用紫色突出显示的。突出显示的确切含义是什么？证据似乎有效；真的吗？紫色表示metis呼叫仍在运行。有三种可能的结果：Isabelle 紫色的伊莎贝尔证明有效吗？,isabelle,Isabelle,我有一个梅蒂斯证据，是用大锤用紫色突出显示的。突出显示的确切含义是什么？证据似乎有效；真的吗？紫色表示metis呼叫仍在运行。有三种可能的结果： metis完成：证明有效（无背景） metis失败：证明无效（红色背景） 梅蒂斯没有终止：证据无效（紫色背景永远保留） Isabelle是多线程的，只有在所有之前的策略完成后，您才是安全的 您决定等待的时间由您决定，但超过几秒钟通常意味着您必须重新运行Sledgehammer…紫色表示metis呼叫仍在运行。有三种可能的结果： metis完成：证
- metis完成：证明有效（无背景）
- metis失败：证明无效（红色背景）
- 梅蒂斯没有终止：证据无效（紫色背景永远保留）
您决定等待的时间由您决定，但超过几秒钟通常意味着您必须重新运行Sledgehammer…紫色表示metis呼叫仍在运行。有三种可能的结果：
- metis完成：证明有效（无背景）
- metis失败：证明无效（红色背景）
- 梅蒂斯没有终止：证据无效（紫色背景永远保留）