Hacker News new | ask | show | jobs
by DoctorOetker 299 days ago
That URL does not substantiate any claim by anyone that FLT was trivial to prove.