1 “ Isabelle”（定理证明者）如何命名？ 标题说明了一切，但我很好奇，因为尚不清楚定理证明者如何被命名为“ Isabelle”。它是以一个人命名的吗？一些Google搜索找不到我。 11 history automated-theorem-proving isabelle