Hacker News new | ask | show | jobs
by DoctorOetker 36 days ago
I asked about Wiles, because others frequently run into issues while formalizing.