NickwithaC@lemmy.world to Mildly Interesting@lemmy.worldEnglish · 2 months agoMy doctor has pictures of dogs on the feedback formlemmy.worldimagemessage-square16fedilinkarrow-up1321
arrow-up1321imageMy doctor has pictures of dogs on the feedback formlemmy.worldNickwithaC@lemmy.world to Mildly Interesting@lemmy.worldEnglish · 2 months agomessage-square16fedilink
minus-squareFisk400@feddit.nulinkfedilinkarrow-up14·2 months agoFormally proving trivial things help when proving non trivial things and sometimes the trivial thing turns out to be wrong.
Formally proving trivial things help when proving non trivial things and sometimes the trivial thing turns out to be wrong.