Dave Strock · Mar 4

Seriously guys. This is so silly. Yes I read the whole thing and understand that they use the concept of baking proofing as a pointer toward mathematical proofs. That's not the point being made, which is the inherent lay confusion of doing so, which is evidenced by this thread 🙄