News for hackers. Stuff that matters.

A comment on Monumental advance in number theory posted to the ArXiv by Yitang Zhang. Parent comment

Re:Monumental advance in number theory posted to the ArXiv b... by nephanth on Tuesday November 08, 2022 @12:30AM (#33516165)
Homotopy type theory?
[ Parent | on HN ]

There are no comments on this comment yet.