Tiêu đề nói lên tất cả, nhưng tôi tò mò vì không rõ bằng cách nào một người hoạt động theo định lý được đặt tên là 'Isabelle'. Nó được đặt tên cho một người? Tôi không thể tìm ra bởi một số tìm kiếm Google.
2
Bạn đã thử hỏi về danh sách gửi thư của người dùng Isabelle chưa?
—
DW
Tôi chưa từng - Tôi chưa bao giờ sử dụng Isabelle - Tôi chỉ đọc một tờ giấy sử dụng nó.
—
IIM
Câu hỏi này khiến tôi không thể tin được vì đó là về lịch sử của một tạo phẩm phần mềm, không phải là một tạo tác CS. Điều đó nói rằng, các bài báo đã được xuất bản về Isabelle vì vậy tôi sẽ để cộng đồng quyết định.
—
Raphael