News for hackers. Stuff that matters.

A comment on How to Formalize All of Mathematics. Parent comment

Re:How to Formalize All of Mathematics by bossyTeacher on Saturday October 17, 2026 @07:14AM (#50130046)
Would still have been wrong.
[ Parent | on HN ]

There are no comments on this comment yet.