3 ms·
would Wiles be willing to transcribe his proof for the metamath verifier? it can be done offline indeed...
by DoctorOetker 6mo ago
would Wiles be willing to transcribe his proof for the metamath verifier? it can be done offline indeed...
- williamstein 6mo agohttps://github.com/ImperialCollegeLondon/FLT https://github.com/ImperialCollegeLondon/FLT
- DoctorOetker 6mo agoI asked about Wiles, because others frequently run into issues while formalizing.