1 「イザベル」（定理証明者）はどのようにしてその名前を付けましたか？ タイトルはすべてを語っていますが、定理の証明者がどのようにして「イザベル」と名付けられたのかがはっきりしないので、私は興味があります。人にちなんで名付けられましたか？一部のGoogle検索では見つけられませんでした。 11 history automated-theorem-proving isabelle