1
In che modo Isabelle (il teorema proverente) prese il nome?
Il titolo dice tutto, ma sono curioso perché non è ovvio come un proverore di teoremi sia stato chiamato 'Isabelle'. È stato chiamato per una persona? Non sono riuscito a scoprirlo con alcune ricerche su Google.