synthetic_apriori@programming.devM to Formal Methods@programming.dev • 11 months agoSo you want to be a proof engineer?external-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkSo you want to be a proof engineer?synthetic_apriori@programming.devM to Formal Methods@programming.dev • 11 months agomessage-square0 Commentsfedilink