Hacker News new | ask | show | jobs
by mufthun 431 days ago
You can literally watch Terrence Tao stream himself formalizing existing proofs that he already formalized before.