Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
DoctorOetker
1mo ago
0 comments
Save
Share
would Wiles be willing to transcribe his proof for the metamath verifier? it can be done offline indeed...
0 comments
2 comments · 1 top-level
top
newest
oldest
williamstein
1mo ago
· 1 in thread
https://github.com/ImperialCollegeLondon/FLT
DoctorOetker
OP
1mo ago
I asked about Wiles, because others frequently run into issues while formalizing.
j
/
k
navigate · click thread line to collapse
