محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Recurso digital |
| اللغة: | |
| منشور في: |
Zenodo
2025
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://doi.org/10.5281/zenodo.17329465 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
جدول المحتويات:
- Two closely-related Coq formalizations showing conditional routes to Fermat's Last Theorem: (A) a coverage-parameter approach with a global normalizer o>1 and maximum-coverage principle; (B) an explicit-base hypothesis GN(2). In both tracks, the added premise is assumed (not proven). The repository focuses on reproducibility (CI, Docker one-liner) and an automated check ensuring there are no 'Admitted.'.