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
[ Parent
| on HN ]
There are no comments on this comment yet.