armchair_progamer@programming.dev to Formal Methods@programming.dev · 5 months agoDon't let Alloy facts make your specs a fictionwww.hillelwayne.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkDon't let Alloy facts make your specs a fictionwww.hillelwayne.comarmchair_progamer@programming.dev to Formal Methods@programming.dev · 5 months agomessage-square0fedilink