armchair_progamer@programming.dev to Formal Methods@programming.dev · 9 months agoI formally modeled Dreidel for no good reasonbuttondown.emailexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-textcross-posted to: [email protected][email protected]
arrow-up11arrow-down1external-linkI formally modeled Dreidel for no good reasonbuttondown.emailarmchair_progamer@programming.dev to Formal Methods@programming.dev · 9 months agomessage-square0fedilinkfile-textcross-posted to: [email protected][email protected]