Metadata
Author: LASER-wikipedia2
Data
Japanese[ja]
2014年、ヘイルズに率いられたフライスペック・プロジェクト(英: the Flyspeck project)のチームは、定理証明支援ツールであるIsabell(英語版)およびHOL Light (英語版)を組み合わせて用いることにより、ケプラー予想の形式的証明を完了したと発表した。
Vietnamese[vi]
Năm 2014, đội dự án Flyspeck, được dẫn dắt bởi Hales, đã tuyên bố đã hoàn thiện một chứng minh chính thức của giả thiết Kepler, sử dụng sự kết hợp các trợ thủ Isabelle và HOL Light.