News for hackers. Stuff that matters.
Re:Number theorist fears many proofs widely considered to be... by jeff_friesen on Sunday September 29, 2019 @12:44PM (#21108048)
I was thinking it's a lot like property-based testing

There are no comments on this comment yet.