How did 'Isabelle' (the theorem prover) get its name?

cs.stackexchange https://cs.stackexchange.com/questions/55526

Frage

The title says it all, but I'm curious because it isn't obvious how a theorem prover came to be named 'Isabelle'. Was it named for a person? I couldn't find out by some Google searches.

Keine korrekte Lösung

Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit cs.stackexchange
scroll top