☆ Yσɠƚԋσʂ ☆@lemmy.ml to General Programming Discussion@lemmy.mlEnglish · 13 days agoclaimcheck: Narrowing the Gap between Proof and Intentmidspiral.comexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down11
arrow-up12arrow-down1external-linkclaimcheck: Narrowing the Gap between Proof and Intentmidspiral.com☆ Yσɠƚԋσʂ ☆@lemmy.ml to General Programming Discussion@lemmy.mlEnglish · 13 days agomessage-square0linkfedilink