1 'Isabelle'(정리 증명 자)은 어떻게 이름을 얻었습니까? 제목은 모든 것을 말하지만, 정리 증명자가 어떻게 'Isabelle'로 명명되었는지는 분명하지 않기 때문에 궁금합니다. 사람의 이름을 딴 것입니까? 일부 Google 검색에서 찾을 수 없습니다. 11 history automated-theorem-proving isabelle