Kepler予想
Flyspec Project
で
形式化
されている
A FORMAL PROOF OF THE KEPLER CONJECTURE
ケプラー予想 - Wikipedia
関連
形式手法
Coq
定理証明支援系
#数学
#定理証明支援系