1
'Isabelle' (teorem kanıtlayıcı) adını nasıl aldı?
Başlık her şeyi söylüyor, ama merak ediyorum çünkü bir teorem uzmanının nasıl 'Isabelle' olarak adlandırıldığı belli değil. Bir kişi için mi adlandırıldı? Bazı Google aramalarında bulamadım.