Как «Изабель» (доказатель теорем) получила свое имя?
Название говорит само за себя, но мне любопытно, потому что не очевидно, как доказатель теорем получил название «Изабель». Это было названо в честь человека? Я не мог узнать по некоторым поискам...