Judulnya mengatakan itu semua, tetapi saya ingin tahu karena tidak jelas bagaimana teorema teorema menjadi bernama 'Isabelle'. Apakah nama itu untuk seseorang? Saya tidak dapat mengetahuinya dengan beberapa pencarian Google.
11
Judulnya mengatakan itu semua, tetapi saya ingin tahu karena tidak jelas bagaimana teorema teorema menjadi bernama 'Isabelle'. Apakah nama itu untuk seseorang? Saya tidak dapat mengetahuinya dengan beberapa pencarian Google.
Jawaban:
Sebuah google-fu kecil (dan ingatanku sendiri) memberitahuku nama itu rupanya dinamai oleh Larry Paulson setelah putri Gerard Huet .
Gerard Huet kebetulan adalah salah satu dari orang-orang di belakang pepatah teorema Coq yang kurang puitis .
Dunia kecil!
sumber