RSS Bot@lemmy.bestiver.seBM to Lobste.rs@lemmy.bestiver.seEnglish · 4 months agoclaimcheck: Narrowing the Gap between Proof and Intentmidspiral.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10file-textcross-posted to: [email protected][email protected]
arrow-up11arrow-down1external-linkclaimcheck: Narrowing the Gap between Proof and Intentmidspiral.comRSS Bot@lemmy.bestiver.seBM to Lobste.rs@lemmy.bestiver.seEnglish · 4 months agomessage-square0linkfedilinkfile-textcross-posted to: [email protected][email protected]