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