NickwithaC@lemmy.world to Mildly Interesting@lemmy.worldEnglish · 1 year agoMy doctor has pictures of dogs on the feedback formlemmy.worldimagemessage-square17linkfedilinkarrow-up1332arrow-down114
arrow-up1318arrow-down1imageMy doctor has pictures of dogs on the feedback formlemmy.worldNickwithaC@lemmy.world to Mildly Interesting@lemmy.worldEnglish · 1 year agomessage-square17linkfedilink
minus-squareFisk400@feddit.nulinkfedilinkarrow-up14arrow-down1·1 year 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.