NickwithaC@lemmy.world to Mildly Interesting@lemmy.worldEnglish · 1 年前My doctor has pictures of dogs on the feedback formlemmy.worldexternal-linkmessage-square18linkfedilinkarrow-up1338arrow-down114
arrow-up1324arrow-down1external-linkMy doctor has pictures of dogs on the feedback formlemmy.worldNickwithaC@lemmy.world to Mildly Interesting@lemmy.worldEnglish · 1 年前message-square18linkfedilink
minus-squareFisk400@feddit.nulinkfedilinkarrow-up14arrow-down1·1 年前Formally 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.