HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by williamstein | Hacker News Reader
Parent
Full thread
williamstein
·
https://github.com/ImperialCollegeLondon/FLT
View on HN
DoctorOetker
·
I asked about Wiles, because others frequently run into issues while formalizing.
Reply on news.ycombinator.com