Fermat's Last Theorem in Lean 4
Định lý cuối cùng của Fermat được chứng minh trong Lean 4.
anthropics/fermats-last-theorem
@anthropicsSao
1.081
Fork
89
Ngôn ngữ
Lean
Giấy phép
Apache-2.0
Push gần nhất
7 ngày trước
Định lý cuối cùng của Fermat được chứng minh trong Lean 4.