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.
Asked
Active
Viewed 389 times
1 Answers
10
A little google-fu (and my own memory) tells me it was apparently named by Larry Paulson after Gerard Huet's daughter.
Gerard Huet happens to be one of the people behind the less poetically named Coq theorem prover.
Small world!
cody
- 8,427
- 33
- 64