¿Cómo obtuvo su nombre 'Isabelle' (el probador de teoremas)?
El título lo dice todo, pero tengo curiosidad porque no es obvio cómo un probador de teoremas llegó a llamarse 'Isabelle'. ¿Fue nombrado por una persona? No pude averiguar por algunas búsquedas de