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