Wie kam 'Isabelle' (der Satzbeweiser) zu seinem Namen?
Der Titel sagt alles, aber ich bin neugierig, weil es nicht offensichtlich ist, wie ein Theorembeweiser zu 'Isabelle' wurde. Wurde es nach einer Person benannt? Ich konnte es bei einigen Google-Suchanfragen nicht