bugarela to Programming LanguagesEnglish · 1 year agoQuint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up18arrow-down11
arrow-up17arrow-down1external-linkQuint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)plus-squaregithub.combugarela to Programming LanguagesEnglish · 1 year agomessage-square0fedilink
