>フェルマー定理のlean証明はできたらしい

フェルマーの最終定理は証明された。
leanにより完全に形式化されたのか？
カーネルを通過したからOKになった
のか？