News for hackers. Stuff that matters.

A comment on Some stuff I found interesting about number theory research. Parent comment

Re:Some stuff I found interesting about number theory research by SAI_Peregrinus on Monday July 26, 2021 @01:10PM (#27962029)
I think they mean computer-verified proofs. As you note, the existing proofs are already formally verified, so this might not add much.
[ Parent | on HN ]

There are no comments on this comment yet.