☆ Yσɠƚԋσʂ ☆@lemmy.ml to General Programming Discussion@lemmy.mlEnglish · 2 days agoclaimcheck: Narrowing the Gap between Proof and Intentmidspiral.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down11cross-posted to: [email protected]
arrow-up12arrow-down1external-linkclaimcheck: Narrowing the Gap between Proof and Intentmidspiral.com☆ Yσɠƚԋσʂ ☆@lemmy.ml to General Programming Discussion@lemmy.mlEnglish · 2 days agomessage-square0fedilinkcross-posted to: [email protected]