News for hackers. Stuff that matters.

A comment on A Rosetta Stone for Mathematics. Parent comment

Re:A Rosetta Stone for Mathematics by spheversion on Wednesday May 08, 2024 @12:20AM (#40294295)
Just a quick comment to point out that the formal proof [4] is in fact complete.
[ Parent | on HN ]

There are no comments on this comment yet.