synthetic_apriori@programming.devM to Formal Methods@programming.dev · 1 year agoSo you want to be a proof engineer?proofcraft.orgexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkSo you want to be a proof engineer?proofcraft.orgsynthetic_apriori@programming.devM to Formal Methods@programming.dev · 1 year agomessage-square0fedilink
