@armchair_progamer to Formal Methods • 8 months agoI formally modeled Dreidel for no good reasonbuttondown.emailexternal-linkmessage-square1arrow-up119arrow-down12file-text
arrow-up117arrow-down1external-linkI formally modeled Dreidel for no good reasonbuttondown.email@armchair_progamer to Formal Methods • 8 months agomessage-square1file-text
minus-square@ExperimentalGuylink1•8 months agoIve never heard of a language for probabilistic modeling before but thank you good sir for this fine contribution to the library of random facts that is my brain.
Ive never heard of a language for probabilistic modeling before but thank you good sir for this fine contribution to the library of random facts that is my brain.