3 ms·
You can literally watch Terrence Tao stream himself formalizing existing proofs that he already formalized before.
by mufthun 1y ago
You can literally watch Terrence Tao stream himself formalizing existing proofs that he already formalized before.