top | item 45935685 (no title) sfvisser | 3 months ago Reminds me of this classic doing the same: http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet... discuss order hn newest sevensor|3 months ago I’ve read the post carefully and I still don’t get how they proved Santa Claus without proving the proposition.
sevensor|3 months ago I’ve read the post carefully and I still don’t get how they proved Santa Claus without proving the proposition.
sevensor|3 months ago