How did 'Isabelle' (the theorem prover) get its name?
-
03-11-2019 - |
Question
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.
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange